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

This reverts commit 0b294c5d50.
master
John Benediktsson 2020-05-18 08:02:06 -07:00
parent 5d4a0b4f00
commit 06ff539b17
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 math.vectors models fonts fry kernel make math.functions models namespaces sequences
namespaces sequences splitting strings ui.baseline-alignment splitting strings ui.baseline-alignment ui.gadgets
ui.gadgets ui.gadgets.tracks ui.pens.solid ui.render ui.text 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 vceiling ; >label< text-dim ;
<PRIVATE <PRIVATE