On Mon, 2014-02-24 at 13:56 -0800, Cosimo Cecchi wrote: > Thanks all for your inputs; I now posted a first iteration of a patch > that implements the suggestions of this thread here > > > https://bugzilla.gnome.org/show_bug.cgi?id=725099
This is pretty similar to Giovanni's patch, no? https://bugzilla.gnome.org/show_bug.cgi?id=724797 Cheers _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-devel-list