diff options
| author | Richard M. Stallman <rms@gnu.org> | 2001-11-06 15:46:49 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 2001-11-06 15:46:49 +0000 |
| commit | 9bfaa84db4b93a2b57361f2ea5df3246625e243d (patch) | |
| tree | 9c0a2aecbd615f0de7e8ce4179b0f3e5c0a04b79 /man/text.texi | |
| parent | b1b4f768baf3a49e7fda6415eee03e62ddb5235a (diff) | |
| download | emacs-9bfaa84db4b93a2b57361f2ea5df3246625e243d.tar.gz | |
Minor Texinfo usage fix.
Diffstat (limited to 'man/text.texi')
| -rw-r--r-- | man/text.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/man/text.texi b/man/text.texi index a0fb1dc4360..a6963e303ec 100644 --- a/man/text.texi +++ b/man/text.texi @@ -1813,10 +1813,10 @@ text file: with keyboard commands, and with the mouse. 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 (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. +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 |