From 68c8a239acd5ff30ef4d8f00dfd9d15bf4923b6b Mon Sep 17 00:00:00 2001
From: Ben Soares <b.soares@dundee.ac.uk>
Date: Tue, 28 Jun 2022 13:31:55 +0100
Subject: [PATCH] JAL-1988 Don't put Quit in the File menu if there's a
 handler for it

---
 src/jalview/jbgui/GDesktop.java |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index 996cb1f..e046783 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -404,7 +404,10 @@ public class GDesktop extends JFrame
     FileMenu.add(saveAsState);
     FileMenu.add(loadState);
     FileMenu.addSeparator();
-    FileMenu.add(quit);
+    if (!APQHandlers.setQuit)
+    {
+      FileMenu.add(quit);
+    }
     if (!APQHandlers.setAbout)
     {
       HelpMenu.add(aboutMenuItem);
-- 
1.7.10.2