Menu
▾
▴
[ jEdit-devel ] [ jedit-Plugin Bugs-2085929 ] Plugin options dialog does not save JSpinner state on Enter
|
From: SourceForge.net <no...@so...> - 2008-09-07 11:54:45
|
Plugin Bugs item #2085929, was opened at 2008-09-01 03:31 Message generated for change (Settings changed) made by kpouer You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2085929&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: None Priority: 5 Private: No Submitted By: Trevor Harmon (vocaro) Assigned to: Nobody/Anonymous (nobody) Summary: Plugin options dialog does not save JSpinner state on Enter Initial Comment: Opening the Plugin Options window, changing a JSpinner option, and hitting Enter (as a shortcut to clicking OK) causes the change to be lost. This does not occur if you actually click OK. You can reproduce this problem with the Character Map plugin, which has a JSpinner in its options. ---------------------------------------------------------------------- Comment By: Matthieu Casanova (kpouer) Date: 2008-09-07 01:14 Message: Logged In: YES user_id=285591 Originator: NO Ok I can reproduce it now. It is a bug in the plugin, I move it to the good tracker ---------------------------------------------------------------------- Comment By: Trevor Harmon (vocaro) Date: 2008-09-06 03:27 Message: Logged In: YES user_id=720008 Originator: YES Yes, when I press Enter, the Plugin Options window disappears. Here are the steps in more detail to reproduce: 1. Go to the Plugin Manager and install the Character Map plugin. 2. Go to the Plugin Options and switch to the Character Map section. 3. In the Table Columns field, use the keyboard to change the value to something different. (Do not click the spinner buttons.) Note that for this particular field, the new value must be a power of 2 (1, 2, 4, 8, 16...) 4. Immediately press Enter. (Do not let the focus leave the spinner.) 5. Return to the Character Map section of the Plugin Options. You will find that your change has been erased, and the Table Columns field is back to its original value. This problem does not occur if you do one of the following: * Use the spinner buttons instead of the keyboard to change the value * Switch the focus to a different field before hitting Enter * Click the OK button instead of hitting Enter. You should be able to reproduce this problem for any JSpinner field in the Plugin Options. I am able to reproduce the problem in the following environments: Windows XP Professional SP3 Java 1.6.0_07 jEdit 4.3pre15 Mac OS X 10.5.4 Java 1.6.0_05 jEdit 4.3pre15 ---------------------------------------------------------------------- Comment By: Matthieu Casanova (kpouer) Date: 2008-09-03 00:26 Message: Logged In: YES user_id=285591 Originator: NO Hi, I'm unable to reproduce that, does anyone reproduce it ? when you press Enter, the window disappear ? ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2085929&group_id=588 |