Variable: ebnf-arrow-extra-width

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

Value

1.4534441853748634

Documentation

Specify extra width for arrow shape drawing.

The extra width is used to avoid that the arrowhead and the terminal border overlap. It depends on ebnf-arrow-shape and ebnf-line-width.

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-extra-width
  (if (eq ebnf-arrow-shape 'none)
      0.0
    (* (sqrt 5.0) 0.65 ebnf-line-width))
  "Specify extra width for arrow shape drawing.

The extra width is used to avoid that the arrowhead and the terminal border
overlap.  It depends on `ebnf-arrow-shape' and `ebnf-line-width'."
  :type 'number
  :version "22"
  :group 'ebnf-shape)