Le 02/10/2013 13:45, Tim a écrit :
That was a mistake, the commits/bugs all refered to GTK2 so I figured it wouldnt be a problem.
Well, that patch was maybe a mistake, but GTK 3.10 still drops support for those options:
https://git.gnome.org/browse/gtk+/log/?qt=grep&q=Deprecate+and+ignore So those are going to stop working the day we update GTK... Cheers, Sebastien Bacher -- ubuntu-desktop mailing list ubuntu-desktop@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop