Variable: ebnf-special-border-width

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

Value

0.5

Documentation

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