| 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()
|
|
|