changeset 33499:178c626ccf39

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Wed, 15 Nov 2000 13:37:16 +0000
parents 02bf0aa33c9f
children d813f12dc2df
files etc/NEWS
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/etc/NEWS	Wed Nov 15 12:34:58 2000 +0000
+++ b/etc/NEWS	Wed Nov 15 13:37:16 2000 +0000
@@ -3890,13 +3890,13 @@
 
 *** Other display properties
 
-- :space-width FACTOR
+- (space-width FACTOR)
 
 Specifies that space characters in the text having that property
 should be displayed FACTOR times as wide as normal; FACTOR must be an
 integer or float.
 
-- :height HEIGHT
+- (height HEIGHT)
 
 Display text having this property in a font that is smaller or larger.
 
@@ -3915,13 +3915,13 @@
 Otherwise, HEIGHT is evaluated to get the new height, with the symbol
 `height' bound to the current specified font height.
 
-- :raise FACTOR
+- (raise FACTOR)
 
 FACTOR must be a number, specifying a multiple of the current
 font's height.  If it is positive, that means to display the characters
 raised.  If it is negative, that means to display them lower down.  The
 amount of raising or lowering is computed without taking account of the
-`:height' subproperty.
+`height' subproperty.
 
 *** Conditional display properties