From f974240e4c69771db4cdff7eabc8d15be417a607 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Tue, 6 Nov 2001 15:47:22 +0000 Subject: [PATCH] Minor clarification. --- man/text.texi | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/man/text.texi b/man/text.texi index ad1d170ef8f..17a08667a10 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{@key{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