public void deleteTheme(GTheme theme) {
		throw new UnsupportedOperationException();
	}
Removes the theme from the set of all themes. Also, if the theme has an associated
file, the file will be deleted.
@param theme the theme to delete
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemeManager.java