From b924c3623db44bd8618fcdd798fcf7e6dc6906f0 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sun, 30 May 2010 16:09:51 -0400 Subject: [PATCH] ui.tools.listener: fix error bar display --- basis/ui/tools/listener/listener.factor | 1 + 1 file changed, 1 insertion(+) diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor index ffd0c4cd0e..bd877e66e4 100644 --- a/basis/ui/tools/listener/listener.factor +++ b/basis/ui/tools/listener/listener.factor @@ -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 ;