Variable: ebnf-arrow-scale

ebnf-arrow-scale is a customizable variable defined in ebnf2ps.el.gz.

Value

1.0

Documentation

Specify the arrow scale.

Values lower than 1.0, shrink the arrow. Values greater than 1.0, expand the arrow.

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

Probably introduced at or before Emacs version 22.1.

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/ebnf2ps.el.gz
(defcustom ebnf-arrow-scale 1.0
  "Specify the arrow scale.

Values lower than 1.0, shrink the arrow.
Values greater than 1.0, expand the arrow."
  :type 'number
  :version "22"
  :group 'ebnf-shape)