ui.gadgets.labels: only ceiling the height for now.
This might align to every other pixel on a 2x display but it fixes some rendering artifacts with borders on subpixel boundaries.master
parent
06ff539b17
commit
9635596b0b
|
@ -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 first2 ceiling 2array ;
|
||||||
|
|
||||||
<PRIVATE
|
<PRIVATE
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue