| Index: runtime/observatory/lib/src/elements/script_inset.html
|
| diff --git a/runtime/observatory/lib/src/elements/script_inset.html b/runtime/observatory/lib/src/elements/script_inset.html
|
| index 7fdbcbf66a4c1131b596132f3b4ac5aceb92e87a..30b20d8c21f37fa3241f5386da64dacba8d6d2b7 100644
|
| --- a/runtime/observatory/lib/src/elements/script_inset.html
|
| +++ b/runtime/observatory/lib/src/elements/script_inset.html
|
| @@ -79,4 +79,20 @@
|
| </template>
|
| </polymer-element>
|
|
|
| +
|
| +<polymer-element name="source-inset">
|
| +<template>
|
| + <template if="{{ location != null }}">
|
| + <script-inset script="{{ location.script }}"
|
| + startPos="{{ location.tokenPos }}"
|
| + endPos="{{ location.endTokenPos }}"
|
| + height="{{ height }}"
|
| + currentPos="{{ currentPos }}"
|
| + inDebuggerContext="{{ inDebuggerContext }}"
|
| + variables="{{ variables }}">
|
| + </script-inset>
|
| + </template>
|
| +</template>
|
| +</polymer-element>
|
| +
|
| <script type="application/dart" src="script_inset.dart"></script>
|
|
|