Handbook
Glossary
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>>
;