git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
84137bd
)
JAL-2074 suppress prompt to save closed Groovy script on Jalview Quit
author
gmungoc
<g.m.carstairs@dundee.ac.uk>
Tue, 21 Jun 2016 14:27:33 +0000
(15:27 +0100)
committer
gmungoc
<g.m.carstairs@dundee.ac.uk>
Tue, 21 Jun 2016 14:27:33 +0000
(15:27 +0100)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
45a52ee
..
d54e553
100644
(file)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-1184,6
+1184,8
@@
public class Desktop extends jalview.jbgui.GDesktop implements
if (groovyConsole != null)
{
+ // suppress a possible repeat prompt to save script
+ groovyConsole.setDirty(false);
groovyConsole.exit();
}
System.exit(0);