preferences held statically
authoramwaterhouse <Andrew Waterhouse>
Fri, 29 Apr 2005 10:42:48 +0000 (10:42 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 29 Apr 2005 10:42:48 +0000 (10:42 +0000)
commit62fcb83be442a0d2bbce77423a6bfed2303f6959
tree7eddd94aebe5a6dcf175197bb0e9d4ee3a21d01f
parent9bea55eea55110a19b17d0127903802013fa60ea
preferences held statically
src/jalview/gui/AlignViewport.java
src/jalview/gui/Preferences.java