index 1cd965e390b526d89318918dd7569dfdaec4a049..b70926947605ea5c8f14a06a5772e67c191c26de 100644 (file)
--- a/src/profile-manager.cpp
+++ b/src/profile-manager.cpp
ProfileManager::~ProfileManager()
{
+ _resource_connection.disconnect();
+ _doc = 0;
}
void ProfileManager::_resourcesChanged()
fill-column:99
End:
*/
-// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:encoding=utf-8:textwidth=99 :
+// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:fileencoding=utf-8:textwidth=99 :