https://bugzilla.gnome.org/show_bug.cgi?id=751368
--- Comment #14 from Olivier Fourdan <[email protected]> ---
(In reply to Nathaniel McCallum from comment #13)
> I am still seeing the problem. Further, every time gnome-terminal
> gains/loses focus, it shrinks. This makes it completely unusable.
Different issue with gtk+-3.19.x fixed this morning with
https://git.gnome.org/browse/gtk+/commit/?id=3ed71cf4
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
wayland-bugs mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/wayland-bugs
