| Index: runtime/observatory/lib/src/service/object.dart
|
| diff --git a/runtime/observatory/lib/src/service/object.dart b/runtime/observatory/lib/src/service/object.dart
|
| index 0e4529a059de5bad5015d1ae9ef4d58ede26be56..46985a378ba61ac2ce3037cedc2dda4919d19a90 100644
|
| --- a/runtime/observatory/lib/src/service/object.dart
|
| +++ b/runtime/observatory/lib/src/service/object.dart
|
| @@ -2125,6 +2125,7 @@ class ServiceEvent extends ServiceObject {
|
| static const kConnectionClosed = 'ConnectionClosed';
|
| static const kLogging = '_Logging';
|
| static const kExtension = 'Extension';
|
| + static const kEditor = '_Editor';
|
|
|
| ServiceEvent._empty(ServiceObjectOwner owner) : super._empty(owner);
|
|
|
| @@ -2154,6 +2155,8 @@ class ServiceEvent extends ServiceObject {
|
| List timelineEvents;
|
| String spawnToken;
|
| String spawnError;
|
| + String editor;
|
| + ServiceObject object;
|
|
|
| int chunkIndex, chunkCount, nodeCount;
|
|
|
| @@ -2244,6 +2247,12 @@ class ServiceEvent extends ServiceObject {
|
| if (map['spawnError'] != null) {
|
| spawnError = map['spawnError'];
|
| }
|
| + if (map['editor'] != null) {
|
| + editor = map['editor'];
|
| + }
|
| + if (map['object'] != null) {
|
| + object = map['object'];
|
| + }
|
| }
|
|
|
| String toString() {
|
|
|