<error-list-gadget> ( model -- gadget )

Vocabulary

ui.tools.error-list

Inputs

model

an object

Outputs

gadget

an object

Definition

USING: accessors kernel models ui.gadgets ui.gadgets.labeled
ui.gadgets.scrollers ui.gadgets.tracks ui.theme ui.tools.common
;

IN: ui.tools.error-list

:: <error-list-gadget> ( model -- gadget )
    vertical error-list-gadget new-track <error-toggle>
    [ >>error-toggle ] [ >>visible-errors ] bi*
    dup visible-errors>> model <error-model> >>model
    f <model> >>source-file f <model> >>error
    dup <source-file-table> >>source-file-table
    dup <error-table> >>error-table
    dup <error-display> >>error-display
    :> error-list error-list vertical <track> with-lines
    error-list <error-list-toolbar> f track-add
    error-list source-file-table>> margins <scroller>
    white-interior "Source files" source-files-color
    <colored-labeled-gadget> 1/4 track-add
    error-list error-table>> margins <scroller> white-interior
    "Errors" errors-color <colored-labeled-gadget> 1/4 track-add
    error-list error-display>> "Details" details-color
    <colored-labeled-gadget> 1/2 track-add 1 track-add ;