# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 974295436 0
# Node ID 178c626ccf39c787bd6844ca2b98946b45e20f6d
# Parent  02bf0aa33c9f09218716eaa07c18756c8360c61e
*** empty log message ***

diff -r 02bf0aa33c9f -r 178c626ccf39 etc/NEWS
--- 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