Search
Sunday, 18th of November 2018, 14:37:09 UTC
14:54:22
jackdaniel
I've made a PR with text changes, what I'm doing now is a separate piece (xrender-related though): https://github.com/McCLIM/McCLIM/pull/610
15:07:14
scymtym
reviewing that will take time
15:10:05
jackdaniel
yes, that's why I've decided to make it now (not after the work on double buffering and non-uniform designs on text)
16:04:49
scymtym
jackdaniel: i will run all my stuff with your branch and report any problems
16:05:44
scymtym
none so far. the new default font is bit large for me, though
16:17:19
jackdaniel
I've explained it in the commit message
16:17:47
jackdaniel
we had :small and :normal meaning the same thing, 4pt gap, and then :huge
16:18:23
jackdaniel
or maybe I've explained it here? I don't remember
16:25:22
jackdaniel
in the futureā¢ we'll make all sizes dpi independent (I've mentioned it in a blog post about density-indpenendent pixels)
16:37:24
scymtym
it's not a big problem anyway
Monday, 19th of November 2018, 2:37:09 UTC