673e9dac2095c003a6323309ac07f683de3322f9 - platform/eclipse.platform.ui - Git at Google

commit: 673e9dac2095c003a6323309ac07f683de3322f9
[log] [tgz]
author: Boris Bokowski <bbokowski>
Thu Sep 14 20:28:28 2006 +0000
committer: Boris Bokowski <bbokowski>
Thu Sep 14 20:28:28 2006 +0000
tree: 3b702d7ea70fb8e857147fa772e3d4670f26e419
parent: 239d7624d13190889abd3011cba71b9acf217300 [diff]

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

bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/EditorManager.java[diff]

1 file changed

tree: 3b702d7ea70fb8e857147fa772e3d4670f26e419