-=| gregor herrmann, Wed, Dec 10, 2008 at 04:50:51PM +0100 |=-
> On Wed, 10 Dec 2008 14:17:56 +0200, Damyan Ivanov wrote:
> > gnome-icon-theme is quite big and may have everything you need.
>
> Indeed :)
>
> (from aptitude:)
> Uncompressed size: 22.0M
>
> Hm, not ideal, I'd say :)
>
> hicolor-icon-theme has 1353k
> Description: default fallback theme for FreeDesktop.org icon themes
Allright. I wasn't suggesting inclusion of $whatever-icons in Padre :)
I was trying to suggest some source of icons with a better licensing.
And I still think it would be better if the icons are not shipped with
Padre. I have no idea, however, for a way to have cross-platform[1]
access to a set of icons.
[1] which I have the impression is one of the goals of Padre
--
dam JabberID: dam@jabber.minus273.org
Attachment:
signature.asc
Description: Digital signature