fix a bug - the symptom is that the window proof script buffer is not displayed, at start up