| Index: runtime/observatory/lib/src/elements/script_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/script_view.html b/runtime/observatory/lib/src/elements/script_view.html
|
| index b6f31ece02d978d60a996cd9e0c5c7043111bc09..7e376f738f4cf1334e4ce38a25e8f0db4fc08735 100644
|
| --- a/runtime/observatory/lib/src/elements/script_view.html
|
| +++ b/runtime/observatory/lib/src/elements/script_view.html
|
| @@ -10,8 +10,8 @@
|
| <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-menu link="{{ makeLink('/inspect', script.owningLibrary) }}" anchor="{{ script.owningLibrary.name }}"></nav-menu>
|
| + <nav-menu link="{{ makeLink('/inspect', script) }}" anchor="{{ script.name }}" last="{{ true }}"></nav-menu>
|
| <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| <nav-control></nav-control>
|
|
|