Variable: ebnf-default-width

ebnf-default-width is a customizable variable defined in ebnf2ps.el.gz.

Value

0.6

Documentation

Additional border width over default terminal, non-terminal or special.

This variable was added, or its default value changed, in Emacs 20.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/ebnf2ps.el.gz
(defcustom ebnf-default-width 0.6
  "Additional border width over default terminal, non-terminal or special."
  :type 'number
  :version "20"
  :group 'ebnf2ps)