-
Committer:
Marco Trevisan (Treviño)
-
Date:
2015-06-05 14:28:27 UTC
-
mto:
This revision was merged to the branch mainline in
revision
4005.
-
Revision ID:
mail@3v1n0.net-20150605142827-h8fcn5unqy7mj968
MenuManager: add a menu_open property that is true when a menu is opened