ui.tools.listener: fix error bar display
parent
709687e55f
commit
b924c3623d
|
@ -195,6 +195,7 @@ TUPLE: listener-gadget < tool error-summary output scroller input ;
|
|||
H{ { table-gap { 3 3 } } } [
|
||||
[ [ [ icon>> write-image ] with-cell ] each ] with-row
|
||||
] tabular-output
|
||||
last-element off
|
||||
{ "Press " { $command tool "common" show-error-list } " to view errors." }
|
||||
print-element
|
||||
] unless-empty ;
|
||||
|
|
Loading…
Reference in New Issue