Bug fix

This fixes the bug that prevents the editor window from reappearing after it has been closed.  (The bug mentioned in the FAQs.)