On 8/28/07, Elijah Newren <[EMAIL PROTECTED]> wrote: > 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. > FYI
I just committed the patches of the two bugs listed above Jaap _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
