public static String fontToString(Font font) {
		return String.format("%s-%s-%s", font.getName(), getStyleString(font), font.getSize());
	}
Converts a file to a string.
@param font the font to convert to a String
@return a String that represents the font
Ghidra/Framework/Gui/src/main/java/generic/theme/FontValue.java