Just wondering why the IconSize property on Gtk.Toolbar is marked obsolete. Is there an alternate way to set the size or are we simply not supposed to override the user's preferences?