-
Notifications
You must be signed in to change notification settings - Fork 16
font
Scott C Gray edited this page Feb 26, 2017
·
3 revisions
font - Font to be used for GUI displays.
The ${font} variable specifies the name of the font that will be
used when jsqsh opens a graphical output window. This occurs either
when the -g parameter is passed to a command (e.g. \go -g) or
when the display mode is set to graphical.
The font specification is of the form:
Fontname-size
With the default being:
Monospaced-10