preferences moved to desktop
authoramwaterhouse <Andrew Waterhouse>
Fri, 29 Apr 2005 10:41:47 +0000 (10:41 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 29 Apr 2005 10:41:47 +0000 (10:41 +0000)
commit9bea55eea55110a19b17d0127903802013fa60ea
tree4d954c2ba708be7c0f90741687745ab68f474625
parentbf7e084a7e20fd24eac2d883098df37eb4eb91cb
preferences moved to desktop
src/jalview/gui/AlignFrame.java
src/jalview/gui/Desktop.java
src/jalview/jbgui/GAlignFrame.java
src/jalview/jbgui/GDesktop.java
src/jalview/jbgui/GPreferences.java