public static void exportTheme(ThemeManager themeManager) {
		if (!askToSaveThemeChanges(themeManager)) {
			return;
		}
		boolean hasExternalIcons = !themeManager.getActiveTheme().getExternalIconFiles().isEmpty();
		String message = "Export as zip file? (You are not using any external icons so the zip\n" +
			"file would only contain a single theme file.)";
		if (hasExternalIcons) {
			message =
				"Export as zip file? (You have external icons so a zip file is required if you\n" +
					"want to include the icons in the export.)";
		}
		int result = OptionDialog.showOptionDialog(null, "Export as Zip?", message, "Export Zip",
			"Export File", OptionDialog.QUESTION_MESSAGE);
		if (result == OptionDialog.CANCEL_OPTION) {
			return;
		}
		boolean exportAsZip = result == OptionDialog.OPTION_ONE;

		ExportThemeDialog dialog = new ExportThemeDialog(themeManager, exportAsZip);
		DockingWindowManager.showDialog(dialog);
	}
Exports a theme, prompting the user to pick an file. Also handles dealing with any
existing changes to the current theme.
@param themeManager the ThemeManager that actually does the export
Ghidra/Framework/Docking/src/main/java/docking/theme/gui/ThemeUtils.java