Re: [Bug-gnubg] Bug (minor): changing hint settings in a running session

[Joern Thyssen]

On Sat, Nov 29, 2003 at 05:31:10PM +0100, Achim Mueller wrote
> * Joern Thyssen wrote on 29 Nov 2003:
> 
> > THis is because "hint" checks to see if there is already calculated any
> > data for the current position. If there is such data, it'll display it,
> > independent of your settings. 
> > 
> > For example, if you did a rollout it's nice that "hint" won't overwrite
> > it with whatever setting you've specified with "set eval". 
> 
> Ok, I see. This is also plausible. So it's enough to set up the same
> position and matchid again to use changed eval settings.

I've implemented a new command "clear hint", so you can do

hint
[modify eval/hint settings]
clear hint
hint

to force re-evaluation on the new settings.

Jørn

pgpXXxfeSxUFU.pgp
Description: PGP signature