¤ ColorName, FontName, et al
Types
type
ColorName = String
type
FontName = String
type
DisplayName = String
type
KeySym = String
Description
These type synonyms are used to make types more readable.