ebnf-terminal-font

ebnf-terminal-font is a variable defined in `ebnf2ps.el'.
Its value is
(7 Courier "Black" "White")


Documentation:
Specify terminal font.

See documentation for `ebnf-production-font'.

You can customize this variable.

This variable was introduced, or its default value was changed, in version 20 of Emacs.