External apps and theme change
Marco Martin
notmart at gmail.com
Fri Jan 23 10:13:50 CET 2009
On 1/23/09, Aaron J. Seigo <aseigo at kde.org> 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't work
> > and stuff - it would be good to spam planetkde with posts about the name
> > change).
>
>
> yes, all good points.
yeah, didn't think about this potentially painful part, but better
doing it sooner than later, even if we'll have to repeat this thing
over and over again. to me everything that says that plasma isn't just
a desktop is good.
not totally sure is really worth the effort in this particular case
Cheers,
Marco Martin
>
> --
> Aaron J. Seigo
> humru othro a kohnu se
> GPG Fingerprint: 8B8B 2209 0C6F 7C47 B1EA EE75 D6B7 2EB1 A7F1 DB43
>
> KDE core developer sponsored by Qt Software
>
>
> _______________________________________________
> Plasma-devel mailing list
> Plasma-devel at kde.org
> https://mail.kde.org/mailman/listinfo/plasma-devel
>
>
>
More information about the Plasma-devel
mailing list