From: gmungoc 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());