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 ;