From 1371cb4090a5d746695d8e6041067084460585ae Mon Sep 17 00:00:00 2001
From: nicolas-p <z.nicolas@gmail.com>
Date: Sat, 18 Jul 2015 13:32:39 +0200
Subject: [PATCH] Margins
Margins increased in the listener and status bar.
---
basis/ui/gadgets/status-bar/status-bar.factor | 5 ++++-
basis/ui/tools/listener/listener.factor | 4 +++-
2 files changed, 7 insertions(+), 2 deletions(-)
diff --git a/basis/ui/gadgets/status-bar/status-bar.factor b/basis/ui/gadgets/status-bar/status-bar.factor
index db1c80579a..c1c850495e 100644
--- a/basis/ui/gadgets/status-bar/status-bar.factor
+++ b/basis/ui/gadgets/status-bar/status-bar.factor
@@ -25,7 +25,10 @@ CONSTANT: status-bar-foreground COLOR: white
: open-status-window ( gadget title/attributes -- )
?attributes f <model> >>status <world>
- dup status>> <status-bar> f track-add
+ dup status>> <status-bar>
+ { 7 2 } <border> COLOR: FactorDarkSlateBlue <solid> >>interior
+ { 1 1 } >>fill
+ f track-add
open-world-window ;
: show-summary ( object gadget -- )
diff --git a/basis/ui/tools/listener/listener.factor b/basis/ui/tools/listener/listener.factor
index 62bc9e0c55..0a42f9a925 100644
--- a/basis/ui/tools/listener/listener.factor
+++ b/basis/ui/tools/listener/listener.factor
@@ -221,7 +221,9 @@ TUPLE: listener-gadget < tool error-summary output scroller input ;
vertical listener-gadget new-track
add-toolbar
init-input/output
- dup output>> <scroller> >>scroller
+ dup output>>
+ { 7 7 } <border> { 1 1 } >>fill
+ <scroller> >>scroller
dup scroller>> 1 track-add
init-error-summary ;