Re: Options and the manual

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