comparison etc/NEWS @ 73143:c8d5b07603bf

ebnf2ps changes.
author Vinicius Jose Latorre <viniciusjl@ig.com.br>
date Wed, 27 Sep 2006 02:38:13 +0000
parents 83e355d76736
children ae275f011f63 bb0e318b7c53
comparison
equal deleted inserted replaced
73142:005027f474ac 73143:c8d5b07603bf
954 allows customization of the appearance of shadowed text in one place, 954 allows customization of the appearance of shadowed text in one place,
955 so package-specific faces can inherit from it. 955 so package-specific faces can inherit from it.
956 956
957 +++ 957 +++
958 *** `vertical-border' face is used for the vertical divider between windows. 958 *** `vertical-border' face is used for the vertical divider between windows.
959
960 ** ebnf2ps changes:
961
962 +++
963 *** New option `ebnf-arrow-extra-width' which specify extra width for arrow
964 shape drawing.
965 The extra width is used to avoid that the arrowhead and the terminal border
966 overlap. It depens on `ebnf-arrow-shape' and `ebnf-line-width'.
967
968 +++
969 *** New option `ebnf-arrow-scale' which specify the arrow scale.
970 Values lower than 1.0, shrink the arrow.
971 Values greater than 1.0, expand the arrow.
959 972
960 ** Font-Lock changes: 973 ** Font-Lock changes:
961 974
962 +++ 975 +++
963 *** M-o now is the prefix key for setting text properties; 976 *** M-o now is the prefix key for setting text properties;