On Wed, Nov 23, 2016 at 11:18:18PM +0100, Egmont Koblinger wrote: > I belive this is the same as the upstream bug at > https://bugzilla.gnome.org/show_bug.cgi?id=725342, which in turn boiled > down to the Gtk+ focus-out issue: > https://bugzilla.gnome.org/show_bug.cgi?id=677329. > > If so, it's fixed in gtk+ 3.18.9.
I still have this problem (gtk+ 3.22.11-1, gnome-terminal 3.22.2-1). Berto
