git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1a3aea9)
JAL-1768 enable fixed width output when auto-width _not_ enabled
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 2 Sep 2015 15:21:55 +0000 (16:21 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Wed, 2 Sep 2015 15:21:55 +0000 (16:21 +0100)
src/jalview/gui/Preferences.java patch | blob | history

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 1b274a8..eadf6ad 100755 (executable)
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -353,7 +353,7 @@ public class Preferences extends GPreferences
     epsRendering.setSelectedItem(Cache.getDefault("EPS_RENDERING",
             "Prompt each time"));
     autoIdWidth.setSelected(Cache.getDefault("FIGURE_AUTOIDWIDTH", false));
-    userIdWidth.setEnabled(autoIdWidth.isSelected());
+    userIdWidth.setEnabled(!autoIdWidth.isSelected());
     userIdWidthlabel.setEnabled(autoIdWidth.isSelected());
     Integer wi = Cache.getIntegerProperty("FIGURE_USERIDWIDTH");
     userIdWidth.setText(wi == null ? "" : wi.toString());