From 07c06919a5e944dd12f751a5f23bcb79887cc11e Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Thu, 30 Nov 2017 11:34:02 +0000 Subject: [PATCH] =?utf8?q?JAL-2849=20JAL-2863=20file=20format=20preferences=20?= =?utf8?q?TODO=E2=80=A8?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- src/jalview/gui/Preferences.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 6635dbe..aa8369a 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -527,6 +527,8 @@ public class Preferences extends GPreferences userIdWidthlabel.setEnabled(!autoIdWidth.isSelected()); Integer wi = Cache.getIntegerProperty("FIGURE_USERIDWIDTH"); userIdWidth.setText(wi == null ? "" : wi.toString()); + // TODO: refactor to use common enum via FormatAdapter and allow extension + // for new flat file formats blcjv.setSelected(Cache.getDefault("BLC_JVSUFFIX", true)); clustaljv.setSelected(Cache.getDefault("CLUSTAL_JVSUFFIX", true)); fastajv.setSelected(Cache.getDefault("FASTA_JVSUFFIX", true)); -- 1.7.10.2