From 48376ff10cfd404d871aeb7afa1d60c5e5e0aa84 Mon Sep 17 00:00:00 2001
From: nicolas-p <z.nicolas@gmail.com>
Date: Tue, 21 Jul 2015 21:20:36 +0200
Subject: [PATCH] Using filled-border in status bar

---
 basis/ui/gadgets/status-bar/status-bar.factor | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/basis/ui/gadgets/status-bar/status-bar.factor b/basis/ui/gadgets/status-bar/status-bar.factor
index 9d1b3ba704..99d2ea4970 100644
--- a/basis/ui/gadgets/status-bar/status-bar.factor
+++ b/basis/ui/gadgets/status-bar/status-bar.factor
@@ -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 ;