quit saves screen size
authoramwaterhouse <Andrew Waterhouse>
Mon, 13 Jun 2005 11:35:41 +0000 (11:35 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 13 Jun 2005 11:35:41 +0000 (11:35 +0000)
commit0a5c25233b642021bec70224aff9d405b70a3f72
treec4cfa628be601a0fb1bb5902b27b1b135d8973d3
parentfb40f29fb0787f4b4c787bee57583baa86b32d9e
quit saves screen size
src/jalview/gui/Desktop.java