]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06ff539) | patch
ui.gadgets.labels: only ceiling the height for now.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 May 2020 15:06:08 +0000 (08:06 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 May 2020 15:06:08 +0000 (08:06 -0700)
commit9635596b0bc78e0df51e1b29e668fa927b658c6a
treec12df4f6af0e70e42384d48363ddaedff2fdb08etree | snapshot
parent06ff539b17f134fc19dc13421f32f098d51f10b8commit | diff
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.
basis/ui/gadgets/labels/labels.factor diff | blob | history
Factor programming language