Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/ProjectManagerImpl.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/ProjectManagerImpl.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/ProjectManagerImpl.java |
index 07e2a1152be5bbaa883a6a8cdaae4be48fc400e2..ccbf1f7a7f9a187384ec469f10a5945e288f791b 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/ProjectManagerImpl.java |
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/analysis/model/ProjectManagerImpl.java |
@@ -373,6 +373,13 @@ public class ProjectManagerImpl extends ContextManagerImpl implements ProjectMan |
} |
@Override |
+ public void setDart2JSHintOption(boolean enableDart2JSHints) { |
+ for (Project project : getProjects()) { |
+ project.setDart2JSHintOption(enableDart2JSHints); |
+ } |
+ } |
+ |
+ @Override |
public void setHintOption(boolean enableHint) { |
for (Project project : getProjects()) { |
project.setHintOption(enableHint); |