Variable: ebnf-repeat-border-width

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

Value

0.0

Documentation

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