author | joncruz <joncruz@users.sourceforge.net> | |
Fri, 5 Dec 2008 08:58:23 +0000 (08:58 +0000) | ||
committer | joncruz <joncruz@users.sourceforge.net> | |
Fri, 5 Dec 2008 08:58:23 +0000 (08:58 +0000) | ||
commit | 177089acbcef5892c724ef4cae93c1e6e501302d | |
tree | 84195d177929d776c3483cff1687a8b04dbbd971 | tree | snapshot |
parent | 25efa04a2042b95ec9c327d41aa2673a39b18104 | commit | diff |
Avoid problems when document is being closed.
src/profile-manager.cpp | diff | blob | history |