| 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 31e98adfaffb56690ae1802f4f7183e2322f2672..411346fbcc1d643784f6d0db91e5de564ec47215 100644
|
| --- a/runtime/observatory/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/observatory/lib/src/elements/nav_bar.dart
|
| @@ -66,6 +66,14 @@ class TopNavMenuElement extends ObservatoryElement {
|
| TopNavMenuElement.created() : super.created();
|
| }
|
|
|
| +@CustomTag('vm-nav-menu')
|
| +class VMNavMenuElement extends ObservatoryElement {
|
| + @published bool last = false;
|
| + @published VM vm;
|
| +
|
| + VMNavMenuElement.created() : super.created();
|
| +}
|
| +
|
| @CustomTag('isolate-nav-menu')
|
| class IsolateNavMenuElement extends ObservatoryElement {
|
| @published bool last = false;
|
|
|