Hi On 01/05/2012 01:47 PM, Tim Mann wrote: > > [old options] > Sure, let's get rid of those. I don't remember why I had both "-" and > "x" prefixes to turn off boolean options. The "-" prefix seems like a > bad idea.
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. ARUN
