From 11b9fdbe06473ace696ecfbc1c9af2c72c7b9899 Mon Sep 17 00:00:00 2001
From: ghidragon <106987263+ghidragon@users.noreply.github.com>
Date: Thu, 8 Jun 2023 16:14:47 -0400
Subject: [PATCH] GP-3477 fixed issue where theme changes wern't save when
 exiting Ghidra via menu action

---
 .../Project/src/main/java/ghidra/framework/main/AppInfo.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Ghidra/Framework/Project/src/main/java/ghidra/framework/main/AppInfo.java b/Ghidra/Framework/Project/src/main/java/ghidra/framework/main/AppInfo.java
index c3fec12cae..17e89cbf9d 100644
--- a/Ghidra/Framework/Project/src/main/java/ghidra/framework/main/AppInfo.java
+++ b/Ghidra/Framework/Project/src/main/java/ghidra/framework/main/AppInfo.java
@@ -46,7 +46,7 @@ public class AppInfo {
 
 	public static void exitGhidra() {
 		assertFrontEndRunning();
-		tool.exit();
+		tool.close(); // closing the front end tool will exit the application
 	}
 
 	private static void assertFrontEndRunning() {