| 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();
|
| }
|
| }
|
|
|
|
|