On Wed, 10 Dec 2008 22:45:02 +0200, Damyan Ivanov wrote:
> > > gnome-icon-theme is quite big and may have everything you need.
> > Uncompressed size: 22.0M
> Allright. I wasn't suggesting inclusion of $whatever-icons in Padre :)
Oh :)
> And I still think it would be better if the icons are not shipped with
> Padre.
Yes of course, but I also prefer to have dependencies at a reasonable
size :)
> 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
padre-icons.zip for windows which we can ignore?
Cheers,
gregor
--
.''`. Home: http://info.comodo.priv.at/{,blog/} / GPG Key ID: 0x00F3CFE4
: :' : Debian GNU/Linux user, admin, & developer - http://www.debian.org/
`. `' Member of VIBE!AT, SPI Inc., fellow of FSFE | http://got.to/quote/
`- NP: Cat Stevens: Lady
Attachment:
signature.asc
Description: Digital signature