From 3ae71d6f29b225e943530af34d549c286736a4e4 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 2 Sep 2015 16:31:43 +0100 Subject: [PATCH] JAL-1768 set initial 'enabled' state for id width label as well --- 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 eadf6ad..88f5df3 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -354,7 +354,7 @@ public class Preferences extends GPreferences "Prompt each time")); autoIdWidth.setSelected(Cache.getDefault("FIGURE_AUTOIDWIDTH", false)); userIdWidth.setEnabled(!autoIdWidth.isSelected()); - userIdWidthlabel.setEnabled(autoIdWidth.isSelected()); + userIdWidthlabel.setEnabled(!autoIdWidth.isSelected()); Integer wi = Cache.getIntegerProperty("FIGURE_USERIDWIDTH"); userIdWidth.setText(wi == null ? "" : wi.toString()); blcjv.setSelected(Cache.getDefault("BLC_JVSUFFIX", true)); -- 1.7.10.2