| Index: runtime/bin/vmservice/client/deployed/web/index.html
|
| diff --git a/runtime/bin/vmservice/client/deployed/web/index.html b/runtime/bin/vmservice/client/deployed/web/index.html
|
| index 9dc8fdfbb1f7cb65faaddc48de8efb963decc34c..e68be831f7ef9365bd5386c4491257dcc4c0bf2e 100644
|
| --- a/runtime/bin/vmservice/client/deployed/web/index.html
|
| +++ b/runtime/bin/vmservice/client/deployed/web/index.html
|
| @@ -930,7 +930,7 @@ hr {
|
| ref['closureFunc'] != null}}">
|
| <a on-click="{{ goto }}" href="{{ url }}">
|
| <!-- TODO(turnidge): Switch this to fully-qualified function -->
|
| - {{ ref['closureFunc']['user_name'] }}
|
| + {{ ref['closureFunc'].name }}
|
| </a>
|
| </template>
|
|
|
| @@ -15634,6 +15634,7 @@ hr {
|
| <top-nav-menu></top-nav-menu>
|
| <isolate-nav-menu isolate="{{ script.isolate }}">
|
| </isolate-nav-menu>
|
| + <nav-menu link="{{ script.owningLibrary.link }}" anchor="{{ script.owningLibrary.name }}"></nav-menu>
|
| <nav-menu link="{{ script.link }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
|
|