On Wed, Oct 9, 2013 at 4:38 PM, Olivier Brunel <j...@jjacky.com> wrote:
> > That's why I think the options should be brought back, so that for all > users that used & relied on icons, nothing is broken (or they can fix it > via options in their Xsettings manager/settings.ini). > > They should also be marked deprecated so it is known they shouldn't be > used/relied upon anymore. De-connecting them from Xsettings should only > happen eventually, not now. > > No, the Xsetting is not coming back.
_______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-devel-list
