draw-preedit-underlines ( editor -- )


Vocabulary
ui.gadgets.editors.private

Inputs
editoran object


Outputs
None

Definition