comparison man/text.texi @ 40764:d2264ed210a7

Along with Text Properties menu, mention keyboard commands in following section.
author Richard M. Stallman <rms@gnu.org>
date Tue, 06 Nov 2001 04:53:16 +0000
parents 96973a484b73
children 306eea7b9fdc
comparison
equal deleted inserted replaced
40763:f336a6703f79 40764:d2264ed210a7
1809 @subsection Editing Format Information 1809 @subsection Editing Format Information
1810 1810
1811 There are two ways to alter the formatting information for a formatted 1811 There are two ways to alter the formatting information for a formatted
1812 text file: with keyboard commands, and with the mouse. 1812 text file: with keyboard commands, and with the mouse.
1813 1813
1814 The easiest way to add properties to your document is by using 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, or with @kbd{C-Mouse-2} (hold the @key{CTRL} key 1816 menu in the menu bar (use @kbd{F10 e t} if you have no mouse), or with
1817 and press the middle mouse button). 1817 @kbd{C-Mouse-2} (hold the @key{CTRL} key and press the middle mouse
1818 button). There are also keyboard commands described in the following
1819 section.
1818 1820
1819 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.
1820 These are described in the sections that follow. Some items run 1822 These are described in the sections that follow. Some items run
1821 commands directly: 1823 commands directly:
1822 1824