draw-unselected-line ( line editor -- )


Vocabulary
ui.gadgets.editors.private

Inputs
linean object
editoran object


Outputs
None

Definition