Cut and paste changes
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 May 2005 14:06:36 +0000 (14:06 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 May 2005 14:06:36 +0000 (14:06 +0000)
commit97f9bc57c862241251b23d08dcc9cbd4dbff99cf
treeac2df2af3d6d5f02a795f23fa23518b338fa9089
parent6a46ce948a9fe8bb82cbc279fe8887b24b5cd59b
Cut and paste changes
src/jalview/gui/Desktop.java