X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FPreferences.java;h=acb9654cc7feee81764d822c042cbb6e2a4c45ca;hb=b9fbdac95abae11673f09be76494032ec0bbca74;hp=1e9cd46069e51946a47d91d6f19e7361db5152e3;hpb=35b5211f569ab800af33ac7ac3b95171dfcf79cc;p=jalview.git diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 1e9cd46..acb9654 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -1,6 +1,6 @@ /* * Jalview - A Sequence Alignment Editor and Viewer (Version 2.7) - * Copyright (C) 2011 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Copyright (C) 2011 J Procter, AM Waterhouse, J Engelhardt, LM Lui, G Barton, M Clamp, S Searle * * This file is part of Jalview. * @@ -202,8 +202,8 @@ 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()); - userIdWidthlabel.setEnabled(!autoIdWidth.isSelected()); + userIdWidth.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));