a flauss changes
authoramwaterhouse <Andrew Waterhouse>
Fri, 20 May 2005 13:29:48 +0000 (13:29 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 20 May 2005 13:29:48 +0000 (13:29 +0000)
commitb92b967816da8ca0252b221589988f9c2d83ca46
tree9fa842a8786466c8cee2a526a83125416217b0fc
parentf734502d2523df2ebd6b2a34505d79e5a592bc9b
a flauss changes
src/jalview/jbappletgui/GAlignFrame.java
src/jalview/jbgui/GAlignFrame.java
src/jalview/jbgui/GDesktop.java