-
William Jon McCann authored
This allows the empty and useless parent menus to be hidden as well. https://bugzilla.gnome.org/show_bug.cgi?id=676518
8e04dffd
This allows the empty and useless parent menus to be hidden as well. https://bugzilla.gnome.org/show_bug.cgi?id=676518