| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| index 45714b45229c960d994e64cb22cabcc9723b5e57..7301cf68eac4387ca7d246a1e860fd78a2e0b07b 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ChangeContentOverlay.java
|
| @@ -59,8 +59,8 @@ public class ChangeContentOverlay {
|
| /**
|
| * Constructor for {@link ChangeContentOverlay}.
|
| */
|
| - public ChangeContentOverlay(String type, List<SourceEdit> edits) {
|
| - this.type = type;
|
| + public ChangeContentOverlay(List<SourceEdit> edits) {
|
| + this.type = "change";
|
| this.edits = edits;
|
| }
|
|
|
| @@ -78,7 +78,7 @@ public class ChangeContentOverlay {
|
| public static ChangeContentOverlay fromJson(JsonObject jsonObject) {
|
| String type = jsonObject.get("type").getAsString();
|
| List<SourceEdit> edits = SourceEdit.fromJsonArray(jsonObject.get("edits").getAsJsonArray());
|
| - return new ChangeContentOverlay(type, edits);
|
| + return new ChangeContentOverlay(edits);
|
| }
|
|
|
| public static List<ChangeContentOverlay> fromJsonArray(JsonArray jsonArray) {
|
|
|