One thing I was on the fence about: it might be cleaner to move this line into `PanelManager.triggerEditorResize()`.  That way PanelManager owns the editor-holder height entirely, so that when `"editorAreaResize"` is fired the editor area has indeed already been resized.  And then EditorManager is just listening for that to refresh editors, nothing more...