diff options
| author | Richard M. Stallman | 2001-11-06 15:46:49 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2001-11-06 15:46:49 +0000 |
| commit | 9bfaa84db4b93a2b57361f2ea5df3246625e243d (patch) | |
| tree | 9c0a2aecbd615f0de7e8ce4179b0f3e5c0a04b79 | |
| parent | b1b4f768baf3a49e7fda6415eee03e62ddb5235a (diff) | |
| download | emacs-9bfaa84db4b93a2b57361f2ea5df3246625e243d.tar.gz emacs-9bfaa84db4b93a2b57361f2ea5df3246625e243d.zip | |
Minor Texinfo usage fix.
| -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. | |||
| 1813 | 1813 | ||
| 1814 | The easiest way to add properties to your document is with the Text | 1814 | The easiest way to add properties to your document is with the Text |
| 1815 | Properties menu. You can get to this menu in two ways: from the Edit | 1815 | Properties menu. You can get to this menu in two ways: from the Edit |
| 1816 | menu in the menu bar (use @kbd{F10 e t} if you have no mouse), or with | 1816 | menu in the menu bar (use @kbd{@key{F10} e t} if you have no mouse), |
| 1817 | @kbd{C-Mouse-2} (hold the @key{CTRL} key and press the middle mouse | 1817 | or with @kbd{C-Mouse-2} (hold the @key{CTRL} key and press the middle |
| 1818 | button). There are also keyboard commands described in the following | 1818 | mouse button). There are also keyboard commands described in the |
| 1819 | section. | 1819 | following section. |
| 1820 | 1820 | ||
| 1821 | Most of the items in the Text Properties menu lead to other submenus. | 1821 | Most of the items in the Text Properties menu lead to other submenus. |
| 1822 | These are described in the sections that follow. Some items run | 1822 | These are described in the sections that follow. Some items run |