|
| From: | Richard Stallman |
| Subject: | Re: [PATCH] Show/Hide menu |
| Date: | Mon, 21 Jan 2002 22:38:32 -0700 (MST) |
If we consider these as minor modes, we could add them to the menu popped
up by mouse-3 on the mode-line's mode name part.
That sounds like a very good way to put them in the mode line.
It doesn't have to use up any mode line space.
| [Prev in Thread] | Current Thread | [Next in Thread] |