OK so that's the reason, the way we apply the font must be incompatible with
this. I'll check if there's something easy we can do for this not to be a
problem (probably having something of the same style on our side would do, but
it might be tiresome to build dynamically).
--
You are
dmaphy approved this pull request.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2064#pullrequestreview-197724956
Right, we have our own specfile for Fedora packages at Fedora site.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/2064#issuecomment-458660013
I run multiple displays with differing DPIs so I had to find a common
denominator that would pass on both monitors. I have a
~/.config/gtk-3.0/gtk.css in a config directory that looks like:
`* {
font-size: 16px;
font-family: DejaVu-Sans;
}
`
but in this case the precedence is wrong.
Tested with 3.24.4 under Debian Unstable and it works fine as well.
@elextr yeah well, I guess it depends on how we do it, and which API GTK brokeā¦
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
Using the fix from kenshail I got it working on my local copy as well, thanks!
Reading through PR #588 (in which the update function of the search box is
already mentioned) I decided not to go through the steps of making a new PR.
--
You are receiving this because you are subscribed to this