]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 086269b) | patch
ui.gadgets.paragraphs: need to merge height/metrics.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Feb 2020 05:53:39 +0000 (21:53 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Feb 2020 05:53:39 +0000 (21:53 -0800)
commitdc8e6e679918b5a8ec0b9d89612748fb3312a499
treefcb2da225806a15079b36583086279ef0bac4ac4tree | snapshot
parent086269ba3475070ccd8934f260e0093e923aa827commit | diff
ui.gadgets.paragraphs: need to merge height/metrics.

Sometimes cap-height is false and we handle that differently.
basis/ui/baseline-alignment/baseline-alignment.factor diff | blob | history
basis/ui/gadgets/paragraphs/paragraphs.factor diff | blob | history
Factor programming language