public void writeThemeToFile(File file) throws IOException {
		try (BufferedWriter writer = new BufferedWriter(new FileWriter(file))) {
			writeThemeValues(writer);
		}
	}
Writes the theme to the given file.
@param file the file to write to
@throws FileNotFoundException i
@throws IOException if an I/O error occurs trying to write the file
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemeWriter.java