@Override
			public int hashCode() {
				final int prime = 31;
				int result = 1;
				result =
					prime * result + ((fontName == null) ? 0 : fontName.toLowerCase().hashCode());
				return result;
			}
Property Editor for editing {@link Font}s
Ghidra/Framework/Docking/src/main/java/docking/options/editor/FontPropertyEditor.java