[Bug 53898] Programmer's File Editor MDI window contents incorrectly refreshed after closing an MDI document