# HG changeset patch # User Vinicius Jose Latorre <viniciusjl@ig.com.br> # Date 1159324693 0 # Node ID c8d5b07603bf99ab7da0610170292f43018148d6 # Parent 005027f474ac1caba0c83b83d38e010243e4b31c ebnf2ps changes. diff -r 005027f474ac -r c8d5b07603bf etc/ChangeLog --- a/etc/ChangeLog Wed Sep 27 01:21:07 2006 +0000 +++ b/etc/ChangeLog Wed Sep 27 02:38:13 2006 +0000 @@ -1,3 +1,7 @@ +2006-09-26 Vinicius Jose Latorre <viniciusjl@ig.com.br> + + * NEWS: ebnf2ps changes. + 2006-09-26 Reiner Steib <Reiner.Steib@gmx.de> * refcard.ps: Regenerate. diff -r 005027f474ac -r c8d5b07603bf etc/NEWS --- a/etc/NEWS Wed Sep 27 01:21:07 2006 +0000 +++ b/etc/NEWS Wed Sep 27 02:38:13 2006 +0000 @@ -957,6 +957,19 @@ +++ *** `vertical-border' face is used for the vertical divider between windows. +** ebnf2ps changes: + ++++ +*** New option `ebnf-arrow-extra-width' which specify extra width for arrow +shape drawing. +The extra width is used to avoid that the arrowhead and the terminal border +overlap. It depens on `ebnf-arrow-shape' and `ebnf-line-width'. + ++++ +*** New option `ebnf-arrow-scale' which specify the arrow scale. +Values lower than 1.0, shrink the arrow. +Values greater than 1.0, expand the arrow. + ** Font-Lock changes: +++