tree 3b702d7ea70fb8e857147fa772e3d4670f26e419
parent 239d7624d13190889abd3011cba71b9acf217300
author Boris Bokowski <bbokowski> 1158265708 +0000
committer Boris Bokowski <bbokowski> 1158265708 +0000

Fix for Bug 155866 Problems when closing unsaved editor and deleted project