[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: changing SHOW_MENU values and maybe name?

From: Patrice Dumas
Subject: Re: changing SHOW_MENU values and maybe name?
Date: Sun, 1 Nov 2020 19:27:23 +0100

On Sun, Nov 01, 2020 at 08:53:41AM +0000, Gavin Smith wrote:
> On Sat, Oct 31, 2020 at 11:07:18PM +0100, Patrice Dumas wrote:
> > > Using all words would be better.  I had been concerned about backwards
> > > compatibility. Maybe changing it to FORMAT_MENU would be better to
> > > avoid confusion with the old meaning.
> > 
> > I agree.  Do you want that we keep a SHOW_MENU variable for backward
> > compatibility?  I do not think this is useful, users should change their
> > code.
> I'd be happy enough for SHOW_MENU to be removed.  I doubt that users
> use it much anyway.

Ok, this is done then.


reply via email to

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