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. -- Pat
