Shall we drop resources ?

[Pavel Sanda]

On Tue, May 19, 2020 at 11:26:43PM +0200, Jean-Marc Lasgouttes wrote:
> Le 18/05/2020 ?? 22:30, Pavel Sanda a écrit :
> >On Mon, May 18, 2020 at 05:31:08PM +0200, Jean-Marc Lasgouttes wrote:
> >>So we can gain a noticeable time using resources. Do you use svg or png
> >>icons?
> >
> >How will I find out?
> 
> Only the "classic" theme uses png.

That's actually one thing I was wondering about. My config is set to classic
but when running the current master with your patch this option is ignored and
I see tango set.

Pavel