Juergen Spitzmueller wrote: > Bo Peng wrote: > >> Should not 'editing, shortcuts, keyboard/mouse and completeion' belong >> to a separate category 'editing'? I would also put paths and identity >> to a 'general' category. > > I agree that the current categorization can be optimized a lot. I'd say > I'll reintroduce the framework and let you play with it. You just need to > change the category strings in GuiPreferences.
It's in and open to improvements. Currently, it sometimes highlights the major category as well as the first child when selecting the category. This is a minor cosmetic thing IMHO, but if someone knows a solution, please go ahead. (Actually, I could even think about categories in the Document dialog). Jürgen
