git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 180facc) | patch
Saves screen size on exit
authoramwaterhouse <Andrew Waterhouse>
Tue, 15 Mar 2005 17:10:46 +0000 (17:10 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 15 Mar 2005 17:10:46 +0000 (17:10 +0000)
commit5bb2f3d37e51bda1608f0bf21795531e3aeb6aba
treee8d14f945202898ad7f923de1c499b7034fe257ftree | snapshot
parent180faccf15c5358f8e456a98d63ccf4d50aef376commit | diff
Saves screen size on exit
src/jalview/gui/Desktop.java diff | blob | history