public static File getSaveFile(String themeName) {
		File dir = Application.getUserSettingsDirectory();
		File themeDir = new File(dir, ThemeManager.THEME_DIR);
		if (!themeDir.exists()) {
			themeDir.mkdir();
		}
		String cleanedName = themeName.replaceAll(" ", "_") + "." + GTheme.FILE_EXTENSION;
		return new File(themeDir, cleanedName);
	}
Prompts for and deletes a selected theme.
@param themeManager the theme manager
Ghidra/Framework/Docking/src/main/java/docking/theme/gui/ThemeUtils.java