panni 27ce34bce6 change some obsolete no_history replace_parent attributes which do nothing

2015-11-14 02:15:59 +01:00

..

__init__.py

rename interface.helpers; add ignorelist log and reset functions; add title storage to ignore list for later use

2015-11-13 06:53:02 +01:00

menu_helpers.py

store and display last state in addition to current state in menu

2015-11-13 17:23:26 +01:00

menu.py

change some obsolete no_history replace_parent attributes which do nothing

2015-11-14 02:15:59 +01:00