Comment 12 for bug 1493964

(In reply to Marco Trevisan (Treviño) from comment #7)

> (as per various freezes).

Given the unfortunate timing of Gnome vs. Ubuntu freezes, the earliest any fix can make it into Ubuntu via mainstream is Gnome 3.20 (spring '16) -> Ubuntu YY (autumn '16). (I assume it's quite a big change to be done within the 3.18 stable series.) So if it's broken now in Ubuntu, they'll have to patch it downstream in at least two consecutive releases, Wily and XX – and if they patch in in two releases, carrying that patch for a 3rd or 4th release doesn't necessarily sound much worse. So maybe we can just wait for the required Gtk+ feature and then have a proper solution??