iep icon set

[ghis...@gmail.com]

Hi Almar,

Regarding the icon set you are using for IEP, are you using vanilla famfam-silk
or did you make any additions or modifications ?

Cheers,
Ghis

[Almar Klein]

Hi Ghis,

there are some additions, eg run icons, debug icons.

- Almar

> --
> You received this message because you are subscribed to the Google
> Groups "Interactive Editor for Python" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to iep_+uns...@googlegroups.com
> <mailto:iep_+uns...@googlegroups.com>.
> For more options, visit https://groups.google.com/d/optout.

[ghis...@gmail.com]

Since the famfam-silk icon set is already packaged, it would be nice if I could re-use it for
packaging instead of the one you ship. Do you remember the full list of icons which are not
part of famfam-silk ?

Cheers,
Ghis

[Almar Klein]

Ai, no, basically, I copied the icons and added a few. I don't think
that I *modified* any, so you might be able to write a little script to
check which icons are extra...

On 20-02-15 23:08, ghis...@gmail.com wrote:
> Since the famfam-silk icon set is already packaged, it would be nice if
> I could re-use it for
> packaging instead of the one you ship. Do you remember the full list of
> icons which are not
> part of famfam-silk ?
>
> Cheers,
> Ghis
>
>
> Le vendredi 20 février 2015 21:49:14 UTC, Almar a écrit :
>
> Hi Ghis,
>
> there are some additions, eg run icons, debug icons.
>
> - Almar
>

> On 20-02-15 22:21, ghis...@gmail.com <javascript:> wrote:
> > Hi Almar,
> >
> > Regarding the icon set you are using for IEP, are you using vanilla
> > famfam-silk
> > or did you make any additions or modifications ?
> >
> > Cheers,
> > Ghis
> >
> > --
> > You received this message because you are subscribed to the Google
> > Groups "Interactive Editor for Python" group.
> > To unsubscribe from this group and stop receiving emails from it,
> send

> > an email to iep_+uns...@googlegroups.com <javascript:>
> > <mailto:iep_+uns...@googlegroups.com <javascript:>>.

> > For more options, visit https://groups.google.com/d/optout

> <https://groups.google.com/d/optout>.

[Ghislain Vaillant]

Brilliant, thanks for the info.

Ghis