Vocabulary
ui.gadgets.panes

Class description
A pane gadget displays formatted text which is written to a pane-stream targetting the pane. Panes are created by calling <pane> or <pane-control>.

Definition

USING: ui.gadgets.tracks ;

IN: ui.gadgets.panes

TUPLE: pane < track
output current input last-line prototype scrolls?
selection-color caret mark selecting? ;

Methods

USING: ui.gadgets ui.gadgets.panes ui.gadgets.panes.private ;

M: pane gadget-selection selected-subtree gadget-text ;

USING: kernel ui.gadgets ui.gadgets.panes
ui.gadgets.panes.private ;

M: pane gadget-selection? pane-caret&mark and ;

USING: accessors kernel ui.gadgets ui.gadgets.panes
ui.gadgets.panes.private ui.render ui.traverse ;

M: pane selected-children
dup gadget-selection?
[ [ selected-subtree leaves ] [ selection-color>> ] bi ]
[ drop f f ] if ;