On Friday, May 9, 2014, Carlos R. Mafra <crma...@gmail.com> wrote:
> On Thu, 8 May 2014 at 23:57:04 +0200, Christophe wrote: > > From: David Maciejak <david.macie...@gmail.com <javascript:;>> > > > > the second one is not used, so i removed it. > > btw, user can change it from the config file > > So I don't think we should remove. There might be users > out there customizing their configs to use this. > > If they really want to customize they have to provide their own panel background img, for example we are not providing desktop background img, should we too ?
