On Thursday, 21. June 2007, Thiago Macieira wrote: > You're talking about installing a new theme or upgrading an existing one. > > But the problem is a bit wider than that: what happens if new icons are > added to a theme, especially the hicolor theme? Ah right. That's really difficult then.