ui.gadgets.paragraphs: need to merge height/metrics.

Sometimes cap-height is false and we handle that differently.
master
John Benediktsson 2020-02-27 21:53:39 -08:00
parent 086269ba34
commit dc8e6e6799
2 changed files with 5 additions and 1 deletions

View File

@ -99,3 +99,7 @@ PRIVATE>
: measure-height ( children sizes -- height )
(measure-metrics) [ combine-metrics + ] [ 2drop ] if* ;
: measure-height-metrics ( children sizes -- height ascent descent )
(measure-metrics) [ dup ] 3dip
[ combine-metrics ] keep [ [ + nip ] 2keep ] when ;

View File

@ -37,7 +37,7 @@ TUPLE: line words width height baseline ;
: <line> ( words -- line )
[ ] [ line-width ] [ [ key>> ] map dup pref-dims ] tri
measure-metrics [ + ] 2keep drop line boa ;
measure-height-metrics drop line boa ;
: wrap-paragraph ( paragraph -- wrapped-paragraph )
[ children>> [ gadget>word ] map ] [ margin>> ] bi