Merge remote-tracking branch

'origin/GP-3477_ghidragon_exiting_via_menu_doesn't_save_theme_changes'
into patch (Closes #5377)

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() {