]> gitweb.factorcode.org Git - factor.git/commitdiff
Margins
authornicolas-p <z.nicolas@gmail.com>
Sat, 18 Jul 2015 11:32:39 +0000 (13:32 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 14:53:25 +0000 (07:53 -0700)
Margins increased in the listener and status bar.

basis/ui/gadgets/status-bar/status-bar.factor
basis/ui/tools/listener/listener.factor

index db1c80579a72a1c0922d3633b77753e1fa998def..c1c850495ef4216a8cd3cba3d05340c1b6e6f338 100644 (file)
@@ -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 -- )
index 62bc9e0c551f48879368b43a7144a7720b68db7a..0a42f9a925cdf96f38bbc6bd033638ff9c1de772 100644 (file)
@@ -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 ;