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
ui.gadgets.line-support ui.text.private ;

IN: ui.gadgets.editors.private

:: draw-selected-line ( line pair editor -- )
    pair all-equal? [
        line editor draw-unselected-line
        line pair editor draw-selection
    ] [
        editor font>> line pair first2 editor selection-color>>
        <selection> editor line-height draw-selected-string
    ] if ;