error-list-gadget


Vocabulary
ui.tools.error-list

Definition


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


Methods