draw-selection ( line pair editor -- )

Vocabulary

ui.gadgets.editors.private

Inputs

line	an object
pair	an object
editor	an object

Outputs

None

Definition

USING: accessors arrays math math.order opengl sequences
ui.gadgets.line-support ui.text ;

IN: ui.gadgets.editors.private

:: draw-selection ( line pair editor -- )
    editor selection-color>> gl-color
    pair first2 editor font>> line selection-spans [
        [ gl-round ] map first2 :> ( left right ) left 0 2array
        right left - 1 max editor line-height 2array
        gl-fill-rect
    ] each ;