Jalview-JS/JAL-3253-applet additional static final preferences
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Fri, 17 May 2019 12:22:49 +0000 (07:22 -0500)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Fri, 17 May 2019 12:22:49 +0000 (07:22 -0500)
commit2b08c849bd54a0799ddf251f602a421d4696005e
tree58d5085934d075e072ad19041081cc1c1d57b346
parentd82d17a7ba88f90e6b8b1b591245a7ee70b3975c
Jalview-JS/JAL-3253-applet additional static final preferences

Consolidates UserDefinedColours.USER_DEFINED_COLOURS and
Preferences.USER_DEFINED_COLOURS
src/jalview/bin/Cache.java
src/jalview/bin/Jalview.java
src/jalview/gui/ColourMenuHelper.java
src/jalview/gui/Preferences.java
src/jalview/gui/UserDefinedColours.java
src/jalview/gui/UserQuestionnaireCheck.java
src/jalview/gui/WsParamSetManager.java