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


Vocabulary
ui.gadgets.editors.private

Inputs and outputs
linean object
pairan object
editoran object


Definition