|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]|