-
Committer:
Marco Trevisan (Treviño)
-
Date:
2014-12-19 13:03:44 UTC
-
mto:
(3899.2.1 lim-everywhere)
-
mto:
This revision was merged to the branch mainline in
revision
3907.
-
Revision ID:
mail@3v1n0.net-20141219130344-z716q8eh6s98pez9
MenuManager: move integrated_menus property here, from decoration::Style
This is not related to decoration or stiling at all, so it's better to keep it there