[fziegler]

Sorry, I hadn't found the time to backup my library and do some tests with your 3 variations of problem solvers within a appropriate amount of time. Mostly because it was a problem that popped up only every now and then.

But you seem to have put some time into the issue. So, I would like to report that for at least half a year I didn't have the problem of a missing [OK] button anymore. You seem to have solved it - thank you!