ui.gadgets.borders: round border-pref-dim

diff --git a/basis/ui/gadgets/borders/borders.factor b/basis/ui/gadgets/borders/borders.factor
index 3418c89c0ce9fdc1f99e6a9c203b35809e745fcc..d5e1be07e9f02980dfd9d4645fa0de3e5335974a 100644 (file)
--- a/basis/ui/gadgets/borders/borders.factor
+++ b/basis/ui/gadgets/borders/borders.factor
@@ -1,7 +1,7 @@
 ! Copyright (C) 2005, 2009 Slava Pestov.
 ! See http://factorcode.org/license.txt for BSD license.
 USING: accessors fry kernel math math.rectangles math.vectors
-sequences ui.baseline-alignment ui.gadgets ;
+opengl sequences ui.baseline-alignment ui.gadgets ;
 IN: ui.gadgets.borders
 
 TUPLE: border < aligned-gadget
@@ -20,7 +20,7 @@ TUPLE: border < aligned-gadget
     <border> { 1 1 } >>fill ;
 
 : border-pref-dim ( border child-dim -- pref-dim )
-    '[ size>> 2 v*n _ v+ ] [ min-dim>> ] bi vmax ;
+    '[ size>> 2 v*n _ v+ ] [ min-dim>> ] bi vmax [ gl-round ] map ;
 
 M: border pref-dim*
     dup gadget-child pref-dim border-pref-dim ;