error-list-gadget

Vocabulary

ui.tools.error-list

Definition

USING: ui.tools.common ;

IN: ui.tools.error-list

TUPLE: error-list-gadget < tool
    visible-errors source-file error error-toggle
    source-file-table error-table error-display ;

Methods

USING: accessors ui.gadgets ui.tools.error-list ;

M: error-list-gadget focusable-child* source-file-table>> ;