|
| From: | Luc Teirlinck |
| Subject: | Re: Bug in menu-bar-make-mm-toggle? |
| Date: | Mon, 16 Sep 2002 11:03:40 -0500 (CDT) |
Richard Stallman wrote:
The problem not only occurs for Syntax Highlighting, but also for the
two options directly below it.
I believe menu-bar-make-mm-toggle is the culprit.
It is fixed now, right?
Yes, the change you made fixed this.
Sincerely,
Luc.
| [Prev in Thread] | Current Thread | [Next in Thread] |