Handbook
Glossary
draw-unselected-line ( line editor -- )
Vocabulary
ui
.
gadgets
.
editors
.
private
Inputs
line
an
object
editor
an
object
Outputs
None
Definition
USING:
accessors
kernel
ui.text
;
IN:
ui.gadgets.editors.private
:
draw-unselected-line
( line editor -- )
font>>
swap
draw-text
;