Hi all,
Currently, we have two bug reports (that I know of) that are related to
plasma's theme changing, and parts of the environment that don't react to them
without restarting them.
KSMServer and KRunner:
https://bugs.kde.org/show_bug.cgi?id=181451
Lancelot:
http://bugs.kde.org/show_bug.cgi?
On Thursday 22 January 2009, Ivan Čukić wrote:
> The manager could be fixed to the plasma binary since it is, at the moment,
this is probably the most sensible place for such a thing without creating a
kded module for it.
> the only place where you can change the theme, but that could prove to b
On Thu, Jan 22, 2009 at 2:29 AM, Ivan Čukić wrote:
> Hi all,
>
> Currently, we have two bug reports (that I know of) that are related to
> plasma's theme changing, and parts of the environment that don't react to them
> without restarting them.
>
> KSMServer and KRunner:
> https://bugs.kde.org/sho
> Marco > plasma application or simply another app that uses svg themes may or
> Marco > may not want to use the same theme (eg krunner and lancelot yes,
Yes, those two could easily be filtered by existing mechanisms
> this is probably the most sensible place for such a thing without creating
> a
On Thursday 22 January 2009, Ivan Čukić wrote:
> I think this would be good even without regarding the currently discussed
> issue because this way it is hard to differentiate which settings are for
> the plasmaapp, and which are for the library, and therefore for all plasma
> based apps. plasmaglo
On Thursday 22 January 2009, Aaron J. Seigo wrote:
> On Thursday 22 January 2009, Ivan Čukić wrote:
> > I think this would be good even without regarding the currently discussed
> > issue because this way it is hard to differentiate which settings are for
> > the plasmaapp, and which are for the li
> > changing the name of plasma to plasma-desktop is doable. not even that
> > hard. what do others think?
+0.75 :)
(we would need to be prepared for 'kquitapp plasma && plasma' doesn't work and
stuff - it would be good to spam planetkde with posts about the name change).
--
A positive attitu
On Thursday 22 January 2009, Ivan Čukić wrote:
> > > changing the name of plasma to plasma-desktop is doable. not even that
> > > hard. what do others think?
>
> +0.75 :)
>
> (we would need to be prepared for 'kquitapp plasma && plasma' doesn't work
> and stuff - it would be good to spam planetkde
On 1/23/09, Aaron J. Seigo wrote:
> On Thursday 22 January 2009, Ivan Čukić wrote:
>
> > > > changing the name of plasma to plasma-desktop is doable. not even that
> > > > hard. what do others think?
> >
> > +0.75 :)
> >
> > (we would need to be prepared for 'kquitapp plasma && plasma' doesn'
> not totally sure is really worth the effort in this particular case
I agree that it is not worth the effort just for this, but, still, I think it'd
be a good thing to do for the future.
And it is better semantically (again, thinking of plasma-mid)
--
Those people who think they know everythi
On Thursday 22 January 2009 22:55:04 Ivan Čukić wrote:
> > > changing the name of plasma to plasma-desktop is doable. not even that
> > > hard. what do others think?
>
> +0.75 :)
>
> (we would need to be prepared for 'kquitapp plasma && plasma' doesn't work
> and stuff - it would be good to spam pl
11 matches
Mail list logo