git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e6b1fe) | patch
invalidate and validate after closing splashscreen
authoramwaterhouse <Andrew Waterhouse>
Fri, 3 Dec 2004 16:27:21 +0000 (16:27 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 3 Dec 2004 16:27:21 +0000 (16:27 +0000)
commitc7c14d9b64547a11721819d3e2839ef6a702c5db
tree576aea21e7ca99b9241665002b95f18b656fcf46tree | snapshot
parent1e6b1fe5829b88270879ffc3dde6add3f5642b14commit | diff
invalidate and validate after closing splashscreen
src/jalview/gui/Desktop.java diff | blob | history