git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee0fae8) | patch
system.exit or destroy if applet or app
authoramwaterhouse <Andrew Waterhouse>
Tue, 25 Jan 2005 17:11:52 +0000 (17:11 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 25 Jan 2005 17:11:52 +0000 (17:11 +0000)
commit028bc343135a72515c6b109eb0deb8d6034ca520
tree4e1dba41d23978982700f3b7a3da902ba6117fdatree | snapshot
parentee0fae8126d04df7909f4a2dc39d5d695b8c9853commit | diff
system.exit or destroy if applet or app
src/jalview/bin/Jalview.java diff | blob | history
src/jalview/gui/Desktop.java diff | blob | history