Changes between Version 2 and Version 7 of Ticket #240

Timestamp:

Nov 18, 2008, 6:39:39 PM (15 years ago)

Author:

Graham Dutton

Comment:

Preference dialog behaviour is much better with latest commit.

However, fixing the prover settings in response to one of these dialogs is not sufficient to regain prover functionality, even if a prover restart is triggered. Can't quite find the right place to reset state, but proverViable is not sufficient!