1 2 3 4 5 6 7 8 9 10 11
{ "properties": { "workspace_pane_open": "boolean", "workspace_split_mode": "string", "workspace_pane_width": "number" }, "actions": { "workspace_pane_open_changed": "boolean", "workspace_pane_resized": "number" } }