|
| From: | Richard Stallman |
| Subject: | Re: Bug in menu-bar-make-mm-toggle? |
| Date: | Mon, 16 Sep 2002 11:16:21 -0400 |
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?
| [Prev in Thread] | Current Thread | [Next in Thread] |