Module pane 

Pane records.

A pane is a map value: its id, the resource it shows, the active lens, its dock position, and its rectangle. Panes are plain data inside the workspace value.

Functions

new_pane

Build a pane record.

pane_dock

The pane dock symbol, if present.

pane_id

The pane id, if present.

pane_lens

The pane’s active lens, if present.

pane_rect

The pane rectangle, if present.

pane_resource

The pane resource value, if present.

rect

Build a rectangle value.