end-selection ( pane -- )

Vocabulary

ui.gadgets.panes.private

Inputs

pane

an object

Outputs

None

Definition

USING: accessors kernel ui.clipboards ui.gadgets ui.gestures ;

IN: ui.gadgets.panes.private

: end-selection ( pane -- )
    dup selecting?>> hand-moved? or [ f >>selecting? ] dip
    [ [ com-copy-selection ] [ request-focus ] bi ]
    [ [ relayout-1 ] [ focus-input ] bi ] if ;