Handbook
Glossary
draw-selected-line ( line pair editor -- )
Vocabulary
ui
.
gadgets
.
editors
.
private
Inputs
line
an
object
pair
an
object
editor
an
object
Outputs
None
Definition
USING:
accessors
fonts
grouping
kernel
sequences
;
IN:
ui.gadgets.editors.private
:
draw-selected-line
( line pair editor -- )
over
all-equal?
[
[
nip
draw-unselected-line
]
[
draw-selection
]
3bi
]
[
[
draw-selection
]
[
[
[
first2
]
[
selection-color>>
]
bi*
<selection>
]
[
draw-unselected-line
]
bi
]
3bi
]
if
;