I have a project x in my workspace and several files a.pml, a.opt, a.dot and a.opt.
Now I want to switch to another project in the same workspace by File -> CloseProject.
Now the a.pml file is closed, but the others are not and stay open in the central window.

Submitted by Kees Pronk on 31 August 2011 at 19:04