This is because the session stuff is implemented in GuiView::closeEvent() which is not triggered when File->Quit is called. I'll try to find a solution.
These two should behave identically, otherwise users will be confused. Where is File->Quit? (Sorry about my laziness.)
Another problem is how that session management needs to be updated with multiple-views.
I will have a look when multiple-views is stablized, or has it been? Bo
