kdevplatform textdocument.cpp

[Lambert CLARA]

Hello,

I noticed when working on my bookmarks patch that since 82cc03546384d, 
TextDocument::close() method in shell/textdocument.cpp is not called 
anymore when I close a file tab, but only when exitting kdevelop completely.
Was this intended ? i.e. should I find a new place for the KTextEditor 
writeSessionConfig part of my patch :) ?

Thanks,
Lambert