| Index: runtime/bin/vmservice/client/packages/observatory/src/observatory_elements/navigation_bar.html
|
| diff --git a/runtime/bin/vmservice/client/packages/observatory/src/observatory_elements/navigation_bar.html b/runtime/bin/vmservice/client/packages/observatory/src/observatory_elements/navigation_bar.html
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..e208a4757c7e395a66eb45a87122933d89790525
|
| --- /dev/null
|
| +++ b/runtime/bin/vmservice/client/packages/observatory/src/observatory_elements/navigation_bar.html
|
| @@ -0,0 +1,19 @@
|
| +<head>
|
| + <link rel="import" href="observatory_element.html">
|
| +</head>
|
| +<polymer-element name="navigation-bar" extends="observatory-element">
|
| + <template>
|
| + <nav class="navbar navbar-default" role="navigation">
|
| + <div class="navbar-header">
|
| + <a class="navbar-brand" href="">Observatory</a>
|
| + </div>
|
| + <div class="collapse navbar-collapse navbar-ex1-collapse">
|
| + <input class="span2 pull-right navbar-form"
|
| + placeholder="VM Address"
|
| + type="text"
|
| + value="{{ app.requestManager.prefix }}">
|
| + </div>
|
| + </nav>
|
| + </template>
|
| + <script type="application/dart" src="navigation_bar.dart"></script>
|
| +</polymer-element>
|
|
|