diff options
| author | Eli Zaretskii | 2018-01-30 18:24:08 +0200 |
|---|---|---|
| committer | Eli Zaretskii | 2018-01-30 18:24:08 +0200 |
| commit | 71961f13c3db5925c7cf5b87fde8f19bdc5424dd (patch) | |
| tree | c5202dcad152c1cbae5d3c8783cfaa5f43f9b0d6 | |
| parent | 55a2b769a1c0a55aa2c7fe81d2e182f83bc19528 (diff) | |
| download | emacs-71961f13c3db5925c7cf5b87fde8f19bdc5424dd.tar.gz emacs-71961f13c3db5925c7cf5b87fde8f19bdc5424dd.zip | |
Minor change in "Mode Line" section of Emacs manual
* doc/emacs/screen.texi (Mode Line): Mention tooltips shown when
hovering the mouse over the mode line. Suggested by Eduardo
Mercovich <eduardo@mercovich.net> in emacs-manual-bugs@gnu.org.
| -rw-r--r-- | doc/emacs/screen.texi | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/emacs/screen.texi b/doc/emacs/screen.texi index c8b22aa68cb..8dd5e5f9e56 100644 --- a/doc/emacs/screen.texi +++ b/doc/emacs/screen.texi | |||
| @@ -279,7 +279,10 @@ the mode line of every window. @xref{Recursive Edit}. | |||
| 279 | You can change the appearance of the mode line as well as the format | 279 | You can change the appearance of the mode line as well as the format |
| 280 | of its contents. @xref{Optional Mode Line}. In addition, the mode | 280 | of its contents. @xref{Optional Mode Line}. In addition, the mode |
| 281 | line is mouse-sensitive; clicking on different parts of the mode line | 281 | line is mouse-sensitive; clicking on different parts of the mode line |
| 282 | performs various commands. @xref{Mode Line Mouse}. | 282 | performs various commands. @xref{Mode Line Mouse}. Also, hovering |
| 283 | the mouse pointer above mouse-sensitive portions of the mode line | ||
| 284 | shows tooltips (@pxref{Tooltips}) with information about commands you | ||
| 285 | can invoke by clicking on the mode line. | ||
| 283 | 286 | ||
| 284 | @node Menu Bar | 287 | @node Menu Bar |
| 285 | @section The Menu Bar | 288 | @section The Menu Bar |