draw-selected-line ( line pair editor -- )


Vocabulary
ui.gadgets.editors.private

Inputs
linean object
pairan object
editoran object


Outputs
None

Definition