diff options
| -rw-r--r-- | doc/emacs/files.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/emacs/files.texi b/doc/emacs/files.texi index e5f4d4cc964..11e0b63122c 100644 --- a/doc/emacs/files.texi +++ b/doc/emacs/files.texi | |||
| @@ -1539,7 +1539,7 @@ instance, @samp{jim}), that is displayed as @samp{RCS:jim:1.3}. | |||
| 1539 | 1539 | ||
| 1540 | On a graphical display, you can move the mouse over this mode line | 1540 | On a graphical display, you can move the mouse over this mode line |
| 1541 | indicator to pop up a ``tool-tip'', which displays a more verbose | 1541 | indicator to pop up a ``tool-tip'', which displays a more verbose |
| 1542 | description of the version control status. Pressing @key{Mouse-1} | 1542 | description of the version control status. Pressing @kbd{Mouse-1} |
| 1543 | over the indicator pops up a menu of VC commands. This menu is | 1543 | over the indicator pops up a menu of VC commands. This menu is |
| 1544 | identical to the @samp{Version Control} menu item, which can be found | 1544 | identical to the @samp{Version Control} menu item, which can be found |
| 1545 | in the @samp{Tools} menu on the menu bar. | 1545 | in the @samp{Tools} menu on the menu bar. |