get-face-name in font-name-directory<%>
Gets the face name for a font ID. If the font ID corresponds to
the default font for a particular family, #f is returned.
get-face-name in font-name-directory<%>
Gets the face name for a font ID. If the font ID corresponds to
the default font for a particular family, #f is returned.