Variable: ebnf-production-horizontal-space
ebnf-production-horizontal-space is a customizable variable defined in
ebnf2ps.el.gz.
Value
0.0
Documentation
Specify horizontal space in points between productions.
Value less or equal to zero forces ebnf2ps to set a proper default value.
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-production-horizontal-space 0.0 ; use ebnf2ps default value
"Specify horizontal space in points between productions.
Value less or equal to zero forces ebnf2ps to set a proper default value."
:type 'number
:version "20"
:group 'ebnf-displacement)