Manages layout of panels surrounding the editor area, and size of the editor area (but not its contents).
Updates panel sizes when the window is resized. Maintains the max resizing limits for panels, based on currently available window size.
panel resize, or the window resize). The 2nd arg is the new editor-holder height. The 3rd arg is a refreshHint flag for internal EditorManager use.
Represents a panel below the editor area (a child of ".content").
Used by EditorManager to notify us of layout changes our normal panel/window listeners wouldn't detect. For internal use only: most code should call EditorManager.resizeEditor().
Calculates the available height for the full-size Editor (or the no-editor placeholder), accounting for the current size of all visible panels, toolbar, & status bar.
Creates a new panel beneath the editor area and above the status bar footer. Panel is initially invisible.
Calculates a new size for editor-holder and resizes it accordingly, then and dispatches the "editorAreaResize" event. (The editors within are resized by EditorManager, in response to that event).