From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Wed, 2 Sep 2015 15:21:55 +0000 (+0100)
Subject: JAL-1768 enable fixed width output when auto-width _not_ enabled
X-Git-Tag: Release_2_10_0~511^2~2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5ca65ade39936144faec660f002727cfcf8ce53b;p=jalview.git

JAL-1768 enable fixed width output when auto-width _not_ enabled
---

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index 1b274a8..eadf6ad 100755
--- 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());