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