| Index: runtime/observatory/lib/src/app/application.dart
|
| diff --git a/runtime/observatory/lib/src/app/application.dart b/runtime/observatory/lib/src/app/application.dart
|
| index f847c231c98902a40125cfa8d0d8875b19a7b63b..977550f053d83b067842f4fd4fd501ccd7c93b6a 100644
|
| --- a/runtime/observatory/lib/src/app/application.dart
|
| +++ b/runtime/observatory/lib/src/app/application.dart
|
| @@ -121,7 +121,6 @@ class ObservatoryApplication {
|
| _loggingSubscription = null;
|
| }
|
|
|
| -
|
| final ObservatoryApplicationElement rootElement;
|
|
|
| ServiceObject lastErrorOrException;
|
| @@ -138,6 +137,7 @@ class ObservatoryApplication {
|
| void _deletePauseEvents(e) {
|
| notifications.deletePauseEvents(isolate: e.isolate);
|
| }
|
| +
|
| void _addNotification(M.Event e) {
|
| notifications.add(new EventNotification(e));
|
| }
|
| @@ -284,5 +284,5 @@ class ObservatoryApplication {
|
| }
|
|
|
| // This map keeps track of which curly-blocks have been expanded by the user.
|
| - Map<String,bool> expansions = {};
|
| + Map<String, bool> expansions = {};
|
| }
|
|
|