<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd"><html><head><meta name="qrichtext" content="1" /><style type="text/css">p, li { white-space: pre-wrap; }</style></head><body style=" font-family:'Bitstream Vera Sans'; font-size:10pt; font-weight:400; font-style:normal;">Hi,<br>
<p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"></p>On Monday 30 June 2008 08:17:58 Matt Rogers wrote:<br>
> On Sunday 29 June 2008 15:23:52 Andreas Pakulat wrote:<br>
> > Hi,<br>
> ><br>
> > at the kdevelop sprint we pretty much agreed that some "central" place<br>
> > to store metadata is needed, so I implemented a "workspace" thing thats<br>
> > part of our project tree model. However thinking about this, it doesn't<br>
> > make too much sense there and it also introduces space-wasting in the<br>
> > treeview.<br>
> ><br>
> > Now other apps in KDE have a concept of "session" which IMHO fits here<br>
> > pretty well, we can assign a data-area to a session. So plugins that<br>
> > still want to store some project-unrelated metadata (like teamwork for<br>
> > example, or svn-plugin for repositories) can do it. Also looking at kate<br>
> > this works pretty well, people not interested in it (like Alex) can just<br>
> > tell KDevelop once on first startup to use the default session and never<br>
> > ask again for session-choosing.<br>
> ><br>
> > What do others think? Should we(I) look at how Kate's doing it and<br>
> > eventually try to move some code to kdelibs for 4.2 so we can share code<br>
> > with kate (or else just copy)?<br>
> ><br>
> > Andreas<br>
><br>
> I like the idea. I dislike Eclipse's notion of a workspace anyways.<br>
<p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"></p>I like it too, though I don't really like the way kate asks at startup... maybe we should just reopen the last session, and then the user can ask to change sessions if they want (we should be able to do that pretty fast)<br>
<p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;"></p>Cheers,<br>
Hamish.</p></body></html>