Index: runtime/observatory/lib/src/elements/nav/notify_wrapper.dart |
diff --git a/runtime/observatory/lib/src/elements/nav/notify_wrapper.dart b/runtime/observatory/lib/src/elements/nav/notify_wrapper.dart |
index 76767278c14b5ac98bcbda1bcb823e0dad6f1fa0..58dbf39e72ecab4b232eabf0abb8f7e272acca17 100644 |
--- a/runtime/observatory/lib/src/elements/nav/notify_wrapper.dart |
+++ b/runtime/observatory/lib/src/elements/nav/notify_wrapper.dart |
@@ -20,13 +20,17 @@ class NavNotifyElementWrapper extends HtmlElement { |
NotificationRepository _notifications; |
bool _notifyOnPause = true; |
+ |
NotificationRepository get notifications => _notifications; |
bool get notifyOnPause => _notifyOnPause; |
+ |
set notifications(NotificationRepository value) { |
- _notifications = value; render(); |
+ _notifications = value; |
+ render(); |
} |
set notifyOnPause(bool value) { |
- _notifyOnPause = value; render(); |
+ _notifyOnPause = value; |
+ render(); |
} |
NavNotifyElementWrapper.created() : super.created() { |
@@ -43,7 +47,9 @@ class NavNotifyElementWrapper extends HtmlElement { |
void render() { |
shadowRoot.children = []; |
- if (_notifications == null) return; |
+ if (_notifications == null) { |
+ return; |
+ } |
shadowRoot.children = [ |
new StyleElement() |