[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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]