X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fgui%2FDesktop.java;h=d54e5535fef5461c85933cd1ee13b79d5b64c518;hb=d1671a58c39dc5cd36e742fe7c2cff5aa7ac8fe7;hp=45a52eea151a87f8335eadb6a9a674af212bf692;hpb=a9474b488d0756b465ee507dbba639f62d0dcb85;p=jalview.git

diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java
index 45a52ee..d54e553 100644
--- 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);