Workspace configuration

Edit the layout, theme, and tab-bar settings as JSON. Pane content is stored separately.