[Emacs-diffs] trunk r116405: * text.texi (Editing Format Info): Use @samp for menus.

[Lars Ingebrigtsen]

------------------------------------------------------------
revno: 116405
revision-id: address@hidden
parent: address@hidden
fixes bug: http://debbugs.gnu.org/13736
committer: Lars Ingebrigtsen <address@hidden>
branch nick: trunk
timestamp: Mon 2014-02-10 22:34:29 -0800
message:
  * text.texi (Editing Format Info): Use @samp for menus.
modified:
  doc/emacs/ChangeLog            changelog-20091113204419-o5vbwnq5f7feedwu-6227
  doc/emacs/text.texi            text.texi-20091113204419-o5vbwnq5f7feedwu-6278

=== modified file 'doc/emacs/ChangeLog'
--- a/doc/emacs/ChangeLog       2014-02-09 03:38:18 +0000
+++ b/doc/emacs/ChangeLog       2014-02-11 06:34:29 +0000
@@ -1,3 +1,7 @@
+2014-02-11  Lars Ingebrigtsen  <address@hidden>
+
+       * text.texi (Editing Format Info): Use @samp for menus (bug#13736).
+
 2014-02-09  Lars Ingebrigtsen  <address@hidden>
 
        * dired.texi (Hiding Subdirectories): Mention the node for

=== modified file 'doc/emacs/text.texi'
--- a/doc/emacs/text.texi       2014-01-28 02:50:16 +0000
+++ b/doc/emacs/text.texi       2014-02-11 06:34:29 +0000
@@ -2099,11 +2099,12 @@
 @node Editing Format Info
 @subsection Editing Format Information
 
-  The easiest way to alter properties is with the Text Properties
-menu.  You can get to this menu from the Edit menu in the menu bar
-(@pxref{Menu Bar}), or with @kbd{C-Mouse-2} (@pxref{Menu Mouse
-Clicks}).  Some of the commands in the Text Properties menu are listed
-below (you can also invoke them with @kbd{M-x}):
+  The easiest way to alter properties is with the @samp{Text
+Properties} menu.  You can get to this menu from the @samp{Edit} menu
+in the menu bar (@pxref{Menu Bar}), or with @kbd{C-Mouse-2}
+(@pxref{Menu Mouse Clicks}).  Some of the commands in the @samp{Text
+Properties} menu are listed below (you can also invoke them with
address@hidden):
 
 @table @code
 @findex facemenu-remove-face-props