Re: Highlighting bug

[martin rudalics]

> But I do have a libgtk-3-0 higher than 3.16 (in fact I just upgraded
> from 3.20.6-1 to 3.22.21-1). So I should be getting into the "if
> GTK_CHECK_VERSION (3, 16, 0)", right? Or does this depend on the
> version that I am using, because I also have libgtk2.0-0. Should I
> have only one of those two installed?

Then you probably built with GTK 3.22 and the bug is a consequence of
Philipp's change.  Maybe you should write a proper bug report.

martin