]> gitweb.factorcode.org Git - factor.git/commitdiff
Using filled-border in status bar
authornicolas-p <z.nicolas@gmail.com>
Tue, 21 Jul 2015 19:20:36 +0000 (21:20 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 16 Aug 2015 14:53:28 +0000 (07:53 -0700)
basis/ui/gadgets/status-bar/status-bar.factor

index 9d1b3ba704c37a88682a4aa70a9d8abfd7d1a559..99d2ea497056594ec189cb70545fd628a3ee64a1 100644 (file)
@@ -26,8 +26,7 @@ CONSTANT: status-bar-foreground COLOR: white
 : open-status-window ( gadget title/attributes -- )
     ?attributes f <model> >>status <world>
     dup status>> <status-bar> 
-    { 7 2 } <border> status-bar-background <solid> >>interior 
-    { 1 1 } >>fill 
+    { 7 2 } <filled-border> status-bar-background <solid> >>interior
     f track-add
     open-world-window ;