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

master
John Benediktsson 2020-05-17 20:44:21 -07:00
parent 65d7e3fad1
commit 0b294c5d50
1 changed files with 4 additions and 4 deletions

View File

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