[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: changing SHOW_MENU values and maybe name?
|
From: |
Gavin Smith |
|
Subject: |
Re: changing SHOW_MENU values and maybe name? |
|
Date: |
Sun, 1 Nov 2020 08:53:41 +0000 |
|
User-agent: |
Mutt/1.9.4 (2018-02-28) |
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.
- Re: changing SHOW_MENU values and maybe name?,
Gavin Smith <=