| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisService.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisService.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisService.java
|
| index 208c860dc0d0e71de1de5645f33b7bf5b2c58625..eef2903e8974caae726d7ff2b6c4c696f8477626 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisService.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisService.java
|
| @@ -27,6 +27,8 @@ public class AnalysisService {
|
|
|
| public static final String HIGHLIGHTS = "HIGHLIGHTS";
|
|
|
| + public static final String INVALIDATE = "INVALIDATE";
|
| +
|
| public static final String NAVIGATION = "NAVIGATION";
|
|
|
| public static final String OCCURRENCES = "OCCURRENCES";
|
|
|