| 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..f6440b77a690e94607e9f63a4bcfc7b1a2bd5f8d 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| @@ -23,15 +23,6 @@ class NavBarElement extends ObservatoryElement {
|
| NavBarElement.created() : super.created();
|
| }
|
|
|
| -@CustomTag('nav-menu')
|
| -class NavMenuElement extends ObservatoryElement {
|
| - @published String link = '#';
|
| - @published String anchor = '---';
|
| - @published bool last = false;
|
| -
|
| - NavMenuElement.created() : super.created();
|
| -}
|
| -
|
| @CustomTag('nav-menu-item')
|
| class NavMenuItemElement extends ObservatoryElement {
|
| @published String link = '#';
|
|
|