[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [XBoard-devel] Options and the manual
|
From: |
Arun Persaud |
|
Subject: |
Re: [XBoard-devel] Options and the manual |
|
Date: |
Fri, 06 Jan 2012 11:05:20 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111220 Thunderbird/9.0 |
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