Handbook
Glossary
<source-file-table> ( error-list -- table )
Vocabulary
ui
.
tools
.
error-list
Inputs
error-list
an
object
Outputs
table
an
object
Definition
USING:
accessors
colors
ui.gadgets.tables
ui.operations
;
IN:
ui.tools.error-list
::
<source-file-table>
( error-list -- table )
error-list
model>>
<source-file-model>
source-file-renderer
<table>
[
invoke-primary-operation
]
>>action
COLOR:
dark-gray
>>column-line-color
6
>>gap
4
>>min-rows
4
>>max-rows
60
>>min-cols
60
>>max-cols
t
>>selection-required?
error-list
source-file>>
>>selection
;