| Index: runtime/observatory/lib/src/elements/nav/menu_item.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav/menu_item.dart b/runtime/observatory/lib/src/elements/nav/menu_item.dart
|
| index fd89f7e6419a75c3eb0d7a460a3d64879e141b38..27d9722aa8ed0faea1fd09c3cf2acbfcb46d6e5a 100644
|
| --- a/runtime/observatory/lib/src/elements/nav/menu_item.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav/menu_item.dart
|
| @@ -57,22 +57,8 @@ class NavMenuItemElement extends HtmlElement implements Renderable {
|
| String _link;
|
| String get label => _label;
|
| String get link => _link;
|
| - set label(String value) {
|
| - if (_label != value) {
|
| - _label = value;
|
| - _r.dirty();
|
| - } else {
|
| - _r.scheduleNotification();
|
| - }
|
| - }
|
| - set link(String value) {
|
| - if (_link != value) {
|
| - _link = value;
|
| - _r.dirty();
|
| - } else {
|
| - _r.scheduleNotification();
|
| - }
|
| - }
|
| + set label(String value) => _label = _r.checkAndReact(_label, value);
|
| + set link(String value) => _link = _r.checkAndReact(_link, value);
|
|
|
|
|
| factory NavMenuItemElement(String label, {String link,
|
|
|