get-screen-name

Next: initialize Up: font-name-directory<> Previous: get-post-script-name

`get-screen-name`

Gets a platform-dependent screen font name for a font id, weight, and style combination.

Under X, if the screen name contains ``%d,'' it is replaced by the size of the font (point size times 10) to obtain the full screen font name.

(send a-font-name-directory get-screen-name font-id weight style) -> string or #f
    font-id : exact integer
    weight : symbol in '(normal bold light)
    style : symbol in '(normal italic slant)
See font% for information about weight and style.