Re: CEDET on menu bar

[Miles Bader]

Chong Yidong <address@hidden> writes:
> It would be nice if "Save Options" could save these entries, but that
> may be confusing since they are not under the Options menu.

Could you duplicate them, so they have an entry in the Tools menu, and
also an entry in something under Options (e.g., "Options > Tools > ..."
or something)?

-Miles

-- 
People who are more than casually interested in computers should have at
least some idea of what the underlying hardware is like.  Otherwise the
programs they write will be pretty weird.  -- Donald Knuth