draw-unselected-line ( line editor -- )


Vocabulary
ui.gadgets.editors.private

Inputs and outputs
linean object
editoran object


Definition