From 62aa2563240eb80a8343a96802ba54291fee19ee Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Tue, 6 Nov 2001 04:53:16 +0000 Subject: [PATCH] Along with Text Properties menu, mention keyboard commands in following section. --- man/text.texi | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/man/text.texi b/man/text.texi index bb013f828f6..1315abd12a1 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 -- 2.39.2