| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| index e662652527c2cf1acefd598dd081dde11bb7bba2..cf9d00690cf07e8557ea9ccd265b0cc5efacb43d 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/HighlightRegionType.java
|
| @@ -41,6 +41,10 @@ public class HighlightRegionType {
|
|
|
| public static final String DYNAMIC_TYPE = "DYNAMIC_TYPE";
|
|
|
| + public static final String ENUM = "ENUM";
|
| +
|
| + public static final String ENUM_CONSTANT = "ENUM_CONSTANT";
|
| +
|
| public static final String FIELD = "FIELD";
|
|
|
| public static final String FIELD_STATIC = "FIELD_STATIC";
|
|
|