Handbook
Glossary
end-of-paragraph ( editor -- )
Vocabulary
ui
.
gadgets
.
editors
Inputs
editor
an
object
Outputs
None
Definition
USING:
documents.elements
;
IN:
ui.gadgets.editors
:
end-of-paragraph
( editor -- )
paragraph-elt
editor-next
;