Window System

Todo

Areas: splitting, joining, resizing, and switching an area’s editor type.

Anatomy of the Window

Window Title and State

Areas

Editor Types

Area Context Menu

Splitting, Joining, and Docking Areas

Resizing with Splitters

Which Area Gets the Input

Escape Precedence