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 = {}; |
} |