KDE/kdevplatform/shell

[David Nolden]

Am Montag 09 November 2009 16:41:31 schrieb Andreas Pakulat:
> Right now session-switching works without closing/reopening kdevelop, as
> all it does is unloading plugins, closing projects and then loading plugins
> and projects from the new session. (oh and apparently also snippets are
> stored in the session as I just see)  One problem might be that a session
> is identified by a UUID not a name (it does have a name, but multiple
> sessions with the same name are possible).
 Btw. I think we shouldn't expect users to give names to sessions, that's too 
much management effort. They should just be named by their contained projects, 
for example "kdelibs+kdevplatform+kdevelop".

Greetings, David