| Index: runtime/bin/vmservice/client/lib/src/elements/function_view.html
|
| diff --git a/runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.html b/runtime/bin/vmservice/client/lib/src/elements/function_view.html
|
| similarity index 75%
|
| rename from runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.html
|
| rename to runtime/bin/vmservice/client/lib/src/elements/function_view.html
|
| index a89ce852495c833c33bb60fc700dde791a3152e4..9a2af8bdc467603ed1fd796747466e1e5f47f45d 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/observatory_elements/function_view.html
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/function_view.html
|
| @@ -1,21 +1,20 @@
|
| <head>
|
| <link rel="import" href="class_ref.html">
|
| <link rel="import" href="code_ref.html">
|
| + <link rel="import" href="isolate_element.html">
|
| <link rel="import" href="nav_bar.html">
|
| - <link rel="import" href="observatory_element.html">
|
| </head>
|
| -<polymer-element name="function-view" extends="observatory-element">
|
| +<polymer-element name="function-view" extends="isolate-element">
|
| <template>
|
| <nav-bar>
|
| <top-nav-menu></top-nav-menu>
|
| - <isolate-nav-menu app="{{ app }}" isolate="{{ app.locationManager.currentIsolate() }}">
|
| - </isolate-nav-menu>
|
| + <isolate-nav-menu isolate="{{ isolate }}"></isolate-nav-menu>
|
| <template if="{{ function['owner']['type'] == '@Class' }}">
|
| <!-- TODO(turnidge): Add library nav menu here. -->
|
| - <class-nav-menu app="{{ app }}" cls="{{ function['owner'] }}"></class-nav-menu>
|
| + <class-nav-menu isolate="{{ isolate }}" cls="{{ function['owner'] }}"></class-nav-menu>
|
| </template>
|
| <template if="{{ function['owner']['type'] == '@Library' }}">
|
| - <library-nav-menu app="{{ app }}" library="{{ function['owner'] }}"></library-nav-menu>
|
| + <library-nav-menu isolate="{{ isolate }}" library="{{ function['owner'] }}"></library-nav-menu>
|
| </template>
|
| <nav-menu link="." anchor="{{ function['user_name'] }}" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| @@ -26,12 +25,12 @@
|
| <div class="panel panel-warning">
|
| <div class="panel-heading">
|
| {{ function['user_name'] }} ({{ function['name'] }})
|
| - <class-ref app="{{ app }}" ref="{{ function['class'] }}"></class-ref>
|
| + <class-ref isolate="{{ isolate }}" ref="{{ function['class'] }}"></class-ref>
|
| </div>
|
| <div class="panel-body">
|
| <div>
|
| - <code-ref app="{{ app }}" ref="{{ function['code'] }}"></code-ref>
|
| - <code-ref app="{{ app }}" ref="{{ function['unoptimized_code'] }}"></code-ref>
|
| + <code-ref isolate="{{ isolate }}" ref="{{ function['code'] }}"></code-ref>
|
| + <code-ref isolate="{{ isolate }}" ref="{{ function['unoptimized_code'] }}"></code-ref>
|
| </div>
|
| <table class="table table-hover">
|
| <tbody>
|
|
|