From a23bc2c30984fff99d0065fdb93799e2eee87e1b Mon Sep 17 00:00:00 2001 From: gmungoc Date: Tue, 21 Jun 2016 15:27:33 +0100 Subject: [PATCH] JAL-2074 suppress prompt to save closed Groovy script on Jalview Quit --- src/jalview/gui/Desktop.java | 2 ++ 1 file changed, 2 insertions(+) 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); -- 1.7.10.2