Oof. Well, glad someone may be addressing it - kudos and all love to Carlos Soriano, it appears?
https://bugzilla.gnome.org/show_bug.cgi?id=732004#c3
Apparently it's a simple one-liner: https://bug732004.bugzilla-attachments.gnome.org/attachment.cgi?id=284244
...that won't be in upstream until GNOME 3.16, and Ubuntu is sticking with GNOME 3.12 stuff for Ubuntu 14.10. Any chance that is cherry-pick-able?
Oof. Well, glad someone may be addressing it - kudos and all love to Carlos Soriano, it appears?
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 732004# c3
Apparently it's a simple one-liner: https:/ /bug732004. bugzilla- attachments. gnome.org/ attachment. cgi?id= 284244
...that won't be in upstream until GNOME 3.16, and Ubuntu is sticking with GNOME 3.12 stuff for Ubuntu 14.10. Any chance that is cherry-pick-able?