[Wayland-bugs] [Bug 778926] [gnome-terminal] Very poor scrolling performance on wayland with high DPI

Mon Feb 20 21:14:11 UTC 2017

https://bugzilla.gnome.org/show_bug.cgi?id=778926

--- Comment #6 from Christian Persch <chpe at gnome.org> ---
(In reply to François Guerraz from comment #5)
> I'm sure you know but the patch for bug 772075 is included in the version
> I'm using. 

How could I know one way or the other, since the gtk+ version used is not
mentioned in this bug report.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/wayland-bugs/attachments/20170220/d91a71c7/attachment.html>