[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: CEDET on menu bar
From: |
Lennart Borgman |
Subject: |
Re: CEDET on menu bar |
Date: |
Mon, 2 Nov 2009 12:32:55 +0100 |
On Mon, Nov 2, 2009 at 8:42 AM, Miles Bader <address@hidden> wrote:
> 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)?
Is not that unnecessary and unclear? Isn't it better to avoid the
confusion and just use customize-save-customized for the "Save
Options" entry?