Jalview-JS/JAL-3253-applet additional static final preferences

[jalview.git] / src / jalview / gui / WsParamSetManager.java

diff --git a/src/jalview/gui/WsParamSetManager.java b/src/jalview/gui/WsParamSetManager.java
index 0f315eb..0bfbb43 100644 (file)
--- a/src/jalview/gui/WsParamSetManager.java
+++ b/src/jalview/gui/WsParamSetManager.java
@@ -274,7 +274,7 @@ public class WsParamSetManager implements ParamManager
    * if (value == JalviewFileChooser.APPROVE_OPTION) { File choice =
    * chooser.getSelectedFile(); jalview.bin.Cache.setProperty("LAST_DIRECTORY",
    * choice.getParent()); String defaultColours = jalview.bin.Cache.getDefault(
-   * "USER_DEFINED_COLOURS", choice.getPath()); if
+   * Preferences.USER_DEFINED_COLOURS, choice.getPath()); if
    * (defaultColours.indexOf(choice.getPath()) == -1) { defaultColours =
    * defaultColours.concat("|") .concat(choice.getPath()); } (non-Javadoc)
    *