insert-newline ( editor -- )

Vocabulary

ui.gadgets.editors

Inputs

editor

an object

Outputs

None

Definition

USING: kernel ui.gadgets ;

IN: ui.gadgets.editors

: insert-newline ( editor -- ) "\n" swap user-input* drop ;