better preferences/properties
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Mon, 13 May 2019 02:15:37 +0000 (21:15 -0500)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Mon, 13 May 2019 02:15:37 +0000 (21:15 -0500)
commit08873667c3fbbf2b925c7b6ac12950f6da102e17
treedca7ab9a34918ade53dd154e6652b85bafab893e
parentb2f46d3180dc0bf7cdc75f1c87ebf9dc866d4be8
better preferences/properties
src/jalview/gui/Preferences.java
src/jalview/io/vamsas/Tree.java
src/jalview/jbgui/GAlignFrame.java
src/jalview/jbgui/GDesktop.java
src/jalview/jbgui/GPCAPanel.java
src/jalview/jbgui/GRnaStructureViewer.java
src/jalview/jbgui/GSplitFrame.java
src/jalview/jbgui/GStructureViewer.java
src/jalview/jbgui/GTreePanel.java
src/jalview/util/Platform.java