KDE/kdevplatform/shell

[Andreas Pakulat]

On 06.07.07 13:04:29, Jonas Widarsson wrote:
> 2007/7/6, Matt Rogers <mattr at kde.org>:
> > On Jul 5, 2007, at 2:17 PM, Guillermo Antonio Amaral Bastidas wrote:
> > > On Thursday 05 July 2007 12:03:46 dukju ahn wrote:
> > >> Not discussed, but I thought that's just unimplemented things.
> > >>
> > >> Why the files are opened when the project is closed? The purpose
> > >> and meaning of project closing is to remove everything related
> > >> from certain project -- files should be removed also. I think the
> > >> users
> > >> want to close every file by closing that project.
> > >
> > > Makes perfect sence ;)
> >
> > Dukju is right. It is just an unimplemented thing. We want to close
> > all the open files for the project when the project is closed. It
> > wouldn't hurt to make this configurable, but for now, it's fine the
> > way it is
> 
> Care for some user input on the subject?

We don't care about users, we do this for fun, not for being usable
;) (Just kidding of course, thx for the input).

I have to admit that I don't know what I was thinking, of course it
makes perfect sense to close the files belonging to a project when
closing it. Sorry for stealing everybody's time :(

> And the reason is I never close the project manually except for when I
> am switching to another project. And in almost every to me imaginable
> case, this means I am not interested in the project I just closed
> anymore. If I am, I just keep two KDevelops open to display both
> projects but in separate windows.

Not needed anymore, we've got multi-project support in 4.

> So, just to brainstorm a little: If anything should be configurable
> regarding this matter, it is whether open files that _do not_ belong
> to the project but are opened anyway (via CTRL+O for example) should
> be closed.

Not possible and not sensible due to the multi-project support. We don't
know to which project-context external files belong, so we can't close
them automatically.

Andreas 

-- 
You will probably marry after a very brief courtship.