public static void deleteTheme(ThemeManager themeManager) {
		List<GTheme> savedThemes = new ArrayList<>(
			themeManager.getAllThemes().stream().filter(t -> t.getFile() != null).toList());
		if (savedThemes.isEmpty()) {
			Msg.showInfo(ThemeUtils.class, null, "Delete Theme", "There are no deletable themes");
			return;
		}

		GTheme selectedTheme = SelectFromListDialog.selectFromList(savedThemes, "Delete Theme",
			"Select theme to delete", t -> t.getName());
		if (selectedTheme == null) {
			return;
		}
		if (themeManager.getActiveTheme().equals(selectedTheme)) {
			Msg.showWarn(ThemeUtils.class, null, "Delete Failed",
				"Cannot delete the active theme.");
			return;
		}

		GTheme fileTheme = selectedTheme;
		int result =
			OptionDialog.showYesNoDialog(null, "Delete Theme: " + fileTheme.getName() + "?",
				"Are you sure you want to delete theme " + fileTheme.getName());
		if (result == OptionDialog.YES_OPTION) {
			themeManager.deleteTheme(fileTheme);
		}
	}
Prompts for and deletes a selected theme.
@param themeManager the theme manager
Ghidra/Framework/Docking/src/main/java/docking/theme/gui/ThemeUtils.java