aboutsummaryrefslogtreecommitdiffstats
path: root/man/text.texi
diff options
context:
space:
mode:
authorRichard M. Stallman <[email protected]>2001-11-06 04:53:16 +0000
committerRichard M. Stallman <[email protected]>2001-11-06 04:53:16 +0000
commit62aa2563240eb80a8343a96802ba54291fee19ee (patch)
treed8ddaeae1ce1e506e24102685998d8a31a236611 /man/text.texi
parent9eaf2ecfae3f9ec5de9bc33d054be30bfad736a5 (diff)
Along with Text Properties menu, mention keyboard commands
in following section.
Diffstat (limited to 'man/text.texi')
-rw-r--r--man/text.texi8
1 files changed, 5 insertions, 3 deletions
diff --git a/man/text.texi b/man/text.texi
index bb013f828f..1315abd12a 100644
--- a/man/text.texi
+++ b/man/text.texi
@@ -1811,10 +1811,12 @@ lines, you may also want to set the justification style to
There are two ways to alter the formatting information for a formatted
text file: with keyboard commands, and with the mouse.
- The easiest way to add properties to your document is by using the Text
+ The easiest way to add properties to your document is with the Text
Properties menu. You can get to this menu in two ways: from the Edit
-menu in the menu bar, or with @kbd{C-Mouse-2} (hold the @key{CTRL} key
-and press the middle mouse button).
+menu in the menu bar (use @kbd{F10 e t} if you have no mouse), or with
+@kbd{C-Mouse-2} (hold the @key{CTRL} key and press the middle mouse
+button). There are also keyboard commands described in the following
+section.
Most of the items in the Text Properties menu lead to other submenus.
These are described in the sections that follow. Some items run