From 0b294c5d50207cbbbd27b4acda9b89304e761153 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 17 May 2020 20:44:21 -0700 Subject: [PATCH] ui.gadgets.labels: make labels integer larger than text. --- basis/ui/gadgets/labels/labels.factor | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/basis/ui/gadgets/labels/labels.factor b/basis/ui/gadgets/labels/labels.factor index ed2ad1f519..f172791f61 100644 --- 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 ;