PreviousNextTracker indexSee it online !

(38/207) 1593731 - Don't hardcode the order of global option panes

It would be nice, if the global option panes were
sorted related to the actual (from jedit_gui.props
read) pane names - just like it's done in the plugin


Submitted rschwenn - 2006-11-09 - 20:18:06z Assigned kpouer
Priority 5 Category None
Status Open Group None
Resolution Fixed Visibility No


2011-12-03 - 17:29:50z
I like General at top.
The rest are Alphabetical.
2011-12-03 - 17:30:35z
Are you saying you want a new property defined in the .props file so you can internationalize it and have a different order in the properties?
2011-12-04 - 20:23:21z
I'd just like to have the same order like You. But I haven't, because sorting doesn't consider my German labels.

The order seems to be hard-coded or maybe sorted at runtime in a way that doesn't consider actual labels.
2011-12-11 - 20:30:23z
First of all, there is no sorting at all.
There is ordering, however. The order is *NOW* determined by properties in jedit_gui.props.

This was not being followed by Optional until the recent Optional 1.0.3 release.
And it was hardcoded in jEdit until either 4.5 or 5.0pre1 (can't remember now).

I can make changes to the property, for example, and then I see that same order in the Global Options pane.

Let me know if I am confused about what you are requesting but I think it is fixed now.
2011-12-12 - 20:41:34z
I guess we understand each other :-) though I cannot verify at this point:
jEdit 4.5 daily shows a fixed order as all versions before.
jEdit 5.0 daily doesn't run at all for me. It hangs with splash at "Migrate keymaps".
2012-04-06 - 08:40:35z
Robert, are you able to check now?
2012-04-06 - 13:20:15z
Just tried the jEdit 5.0pre1 daily build and attached a screen shot of the global options panes tree - it's items are still listed in non-alphabetical order for me.


2012-04-06 - 13:11:53z
Global Options.png

screen shot: Global options in non-alphabetical order