public static boolean askToSaveThemeChanges(ThemeManager themeManager) {
		if (themeManager.hasThemeChanges()) {
			int result = OptionDialog.showOptionDialog(null, "Save Theme Changes?",
				"You have made changes to the current theme.\n" +
					" Do you want to save or abort your changes",
				"Save", "Abort");
			if (result == OptionDialog.CANCEL_OPTION) {
				return false;
			}
			if (result == OptionDialog.OPTION_ONE) {
				return saveThemeChanges(themeManager);
			}
			themeManager.restoreThemeValues();
		}
		return true;
	}
Asks the user if they want to save the current theme changes. If they answer yes, it
will handle several use cases such as whether it gets saved to a new file or
overwrites an existing file.
@param themeManager the theme manager
@return true if the operation was not cancelled
Ghidra/Framework/Docking/src/main/java/docking/theme/gui/ThemeUtils.java