ui.gadgets.labels: allow sub-pixel baseline and cap-height.
parent
5f89facf9e
commit
457485dae7
|
@ -56,10 +56,10 @@ M: label pref-dim*
|
|||
PRIVATE>
|
||||
|
||||
M: label baseline*
|
||||
label-metrics ascent>> round ;
|
||||
label-metrics ascent>> ;
|
||||
|
||||
M: label cap-height*
|
||||
label-metrics cap-height>> round ;
|
||||
label-metrics cap-height>> ;
|
||||
|
||||
<PRIVATE
|
||||
|
||||
|
|
Loading…
Reference in New Issue