On 01/06/2012 12:58 AM, h.g. muller wrote: > >> should we add a section in the manual with deprecated items or have >> xboard output a warning/error when those items are used? I would prefer >> that instead of just deleting them. > > It depends on what you mean by 'deprecating'. I don't consider removing > undocumented options as deprecating anything. XBoard already gives an > error message on using non-existent options.
say for example Ctrl+1, which was in the .texi IIRC. Arun
