ebnf-arrow-extra-width

ebnf-arrow-extra-width is a variable defined in `ebnf2ps.el'.
Its value is
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'.

You can customize this variable.

This variable was introduced, or its default value was changed, in version 22 of Emacs.