Thomas Mueller - 19 hours ago

Implemented in revision #5862: the GExperts menu now groups the experts into the submenus Editor, Form Designer, IDE, Navigation, Project and Tools. Editor Experts, which already is a submenu of its own, stays in the main menu together with Configuration and About. The flat menu is still available: the option "Group the GExperts menu items into submenus" on the IDE tab of the GExperts configuration switches the grouping off.