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. Jürgen
