Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/projects/HideProjectAction.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/projects/HideProjectAction.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/projects/HideProjectAction.java |
index abf21d32adbce0068119a1be19631c2fe41f6041..58b6cadf1bbaa8fe72bdbd9c81e328cc49a8fe38 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/projects/HideProjectAction.java |
+++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/projects/HideProjectAction.java |
@@ -13,6 +13,7 @@ |
*/ |
package com.google.dart.tools.ui.internal.projects; |
+import com.google.dart.tools.core.internal.model.DartLibraryImpl; |
import com.google.dart.tools.ui.DartToolsPlugin; |
import org.eclipse.core.resources.IFile; |
@@ -74,6 +75,7 @@ public class HideProjectAction extends CloseResourceAction { |
} finally { |
((IProject) resource).delete(false, true, monitor); |
+ DartLibraryImpl.clearLocalUrisCache(); |
} |
} |