ui.gadgets.labels: make labels integer larger than text.

diff --git a/basis/ui/gadgets/labels/labels.factor b/basis/ui/gadgets/labels/labels.factor
index ed2ad1f519c6b6967a8ce4cd09730ffe9ad99f86..f172791f614b3ce60f7e34788f8f68e74c05872d 100644 (file)
--- a/basis/ui/gadgets/labels/labels.factor
+++ b/basis/ui/gadgets/labels/labels.factor
@@ -1,9 +1,9 @@
 ! Copyright (C) 2005, 2009 Slava Pestov.
 ! See http://factorcode.org/license.txt for BSD license.
 USING: accessors arrays classes colors.constants combinators
-fonts fry kernel make math.functions models namespaces sequences
-splitting strings ui.baseline-alignment ui.gadgets
-ui.gadgets.tracks ui.pens.solid ui.render ui.text
+fonts fry kernel make math.functions math.vectors models
+namespaces sequences splitting strings ui.baseline-alignment
+ui.gadgets ui.gadgets.tracks ui.pens.solid ui.render ui.text
 ui.theme.images ;
 IN: ui.gadgets.labels
 
@@ -46,7 +46,7 @@ M: label string<< ( string label -- )
     [ font>> ] [ text>> ] bi ; inline
 
 M: label pref-dim*
-    >label< text-dim ;
+    >label< text-dim vceiling ;
 
 <PRIVATE