| Index: runtime/observatory/lib/src/elements/nav_bar.dart
|
| diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| index 3999db87c9116bd6aa64f45b7b26a15d66ebf4c4..c9b811bc473829a320bab6e2f4adf17162ef5b48 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| @@ -32,14 +32,6 @@ class NavMenuElement extends ObservatoryElement {
|
| NavMenuElement.created() : super.created();
|
| }
|
|
|
| -@CustomTag('nav-menu-item')
|
| -class NavMenuItemElement extends ObservatoryElement {
|
| - @published String link = '#';
|
| - @published String anchor = '---';
|
| -
|
| - NavMenuItemElement.created() : super.created();
|
| -}
|
| -
|
| typedef Future RefreshCallback();
|
|
|
| @CustomTag('nav-refresh')
|
|
|