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