| 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 6317b51959545fe04943b345ed5ae12a21aa025d..9b90ba6d66f5361242a8ea4c6c0e386277d11ffe 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| @@ -10,17 +10,6 @@ import 'package:observatory/service.dart';
|
| import 'package:observatory/app.dart' show Notification;
|
| import 'package:polymer/polymer.dart';
|
|
|
| -
|
| -@CustomTag('nav-bar')
|
| -class NavBarElement extends ObservatoryElement {
|
| - @published bool pad = true;
|
| -
|
| - // Desired nav var height in pixels.
|
| - static const height = 40;
|
| -
|
| - NavBarElement.created() : super.created();
|
| -}
|
| -
|
| @CustomTag('vm-nav-menu')
|
| class VMNavMenuElement extends ObservatoryElement {
|
| @published bool last = false;
|
|
|