From 5ca65ade39936144faec660f002727cfcf8ce53b Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 2 Sep 2015 16:21:55 +0100 Subject: [PATCH] JAL-1768 enable fixed width output when auto-width _not_ enabled --- src/jalview/gui/Preferences.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()); -- 1.7.10.2