# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1005061482 0
# Node ID 306eea7b9fdccbf866e5658488ed145abab8e5a0
# Parent  b7e331012730cf34659968cee58d8205d2e2e0ae
(Editing Format Info):
Correct facemenu-remove-props to facemenu-remove-face-props.
Add command names list-faces-display and list-colors-display.

diff -r b7e331012730 -r 306eea7b9fdc man/text.texi
--- a/man/text.texi	Tue Nov 06 15:42:06 2001 +0000
+++ b/man/text.texi	Tue Nov 06 15:44:42 2001 +0000
@@ -1823,10 +1823,10 @@
 commands directly:
 
 @table @code
-@findex facemenu-remove-props
-@item Remove Properties
+@findex facemenu-remove-face-props
+@item Remove Face Properties
 Delete from the region all the text properties that the Text Properties
-menu works with (@code{facemenu-remove-props}).
+menu works with (@code{facemenu-remove-face-props}).
 
 @findex facemenu-remove-all
 @item Remove All
@@ -1839,10 +1839,10 @@
 (@code{list-text-properties-at}).
 
 @item Display Faces
-Display a list of all the defined faces.
+Display a list of all the defined faces (@code{list-faces-display}).
 
 @item Display Colors
-Display a list of all the defined colors.
+Display a list of all the defined colors (@code{list-colors-display}).
 @end table
             
 @node Format Faces