Variable: ebnf-terminal-border-width

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

Value

1.0

Documentation

Specify border width for terminal box.

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-terminal-border-width 1.0
  "Specify border width for terminal box."
  :type 'number
  :version "20"
  :group 'ebnf-terminal)