diff options
| -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 |