Re: CEDET on menu bar

[Chong Yidong]

> Conceptually, it would be cleaner to put CEDET in the Tools menu,
> alongside the other development-related commands like "compile", "gdb",
> etc.
>
> However, unlike the other items in the Tools menu, which are one-off
> commands, Semantic and EDE are minor modes.  They can be toggled, just
> like the items in the Options menu.  It would also be nice to be able to
> use the "Save Options" menu item to enable Semantic and EDE across
> sessions.

I've added the CEDET items to the Tools menu.  (It appears that there is
already one toggle in the Tool menu: the flyspell menu item under
Tools->Spell Checking.)

It would be nice if "Save Options" could save these entries, but that
may be confusing since they are not under the Options menu.