On 8/27/07, Shaun McCance <[EMAIL PROTECTED]> wrote: > On Mon, 2007-08-27 at 23:39 +0200, Vincent Untz wrote: > > Le lundi 27 août 2007, à 23:09 +0200, Jaap Haitsma a écrit : > > > Hi, > > > > > > The gnome-searchtool icon got removed from gnome-icon-theme because it > > > got replaced by the system-search icon. > > > > > > I've made patches for gnome-searchtool and gnome-panel to use the new > > > icon. > > > > > > http://bugzilla.gnome.org/show_bug.cgi?id=470194 gnome-panel > > > http://bugzilla.gnome.org/show_bug.cgi?id=470196 gnome-searchtool > > > > > > Can I apply the two patches? <snip> > Clearly, something has to be done. I suppose our options are: > > 1) Just make the icon change > 2) Put the old icons back somewhere <snip> > I say we make the change.
Due to Shaun being behind it and his reasoning, here's another approval to go with Vincent's to give you 2 of 2 approvals. Elijah _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
