JAL-4090 blocker patch JAL-3772 tidy up groovy console when closed rather than callin...
authorJames Procter <j.procter@dundee.ac.uk>
Wed, 15 Nov 2023 14:54:31 +0000 (14:54 +0000)
committerJames Procter <j.procter@dundee.ac.uk>
Wed, 15 Nov 2023 14:54:31 +0000 (14:54 +0000)
commit72a9ef4b4e3763c857ef095eadc8c656ccb441ff
treeb9fd416ff13bdebe46cb923926e1a6c68554b5c3
parent56d72101b0584635cf539d5413db27abc8deb575
JAL-4090 blocker patch JAL-3772 tidy up groovy console when closed rather than calling its exit and hanging
src/jalview/gui/Desktop.java