Menu
▾
▴
[ jEdit-devel ] [ jedit-Feature Requests-1593731 ] Don't hardcode the order of global option panes
|
From: SourceForge.net <no...@so...> - 2012-04-06 13:20:18
|
Feature Requests item #1593731, was opened at 2006-11-09 12:18 Message generated for change (Comment added) made by rschwenn You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1593731&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None >Status: Open Resolution: Fixed Priority: 5 Private: No Submitted By: Robert Schwenn (rschwenn) Assigned to: Matthieu Casanova (kpouer) Summary: Don't hardcode the order of global option panes Initial Comment: 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 options. Robert ---------------------------------------------------------------------- >Comment By: Robert Schwenn (rschwenn) Date: 2012-04-06 06:20 Message: 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. ---------------------------------------------------------------------- Comment By: Jarek Czekalski (jarekczek) Date: 2012-04-06 01:40 Message: Robert, are you able to check now? ---------------------------------------------------------------------- Comment By: Robert Schwenn (rschwenn) Date: 2011-12-12 12:41 Message: 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". ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-12-11 12:30 Message: 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 options.group.jedit, 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. ---------------------------------------------------------------------- Comment By: Robert Schwenn (rschwenn) Date: 2011-12-04 12:23 Message: 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. ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-12-03 09:30 Message: 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? ---------------------------------------------------------------------- Comment By: Alan Ezust (ezust) Date: 2011-12-03 09:29 Message: I like General at top. The rest are Alphabetical. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=350588&aid=1593731&group_id=588 |