Graham Mayor wrote:
If you want to fix the registry (and if this is the only problem you are
having with tools options I wouldn't bother)...
I've certainly not noticed anything else, so perhaps you're right and the
wisest course is to leave things as they are.
Thanks,
Bert
www.bertcoules.co.uk