languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-10-05 02:29:56 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix links to script + line.

Browse source 
R=johnmccutchan@google.com

Review URL: https://codereview.chromium.org//1286943005 .
This commit is contained in:
Ryan Macnak 2015-08-12 12:42:52 -07:00
parent 62dbce8555
commit 919f79e044
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
runtime/observatory/lib/src/elements/script_inset.dart
View file

@ -332,7 +332,7 @@ class ScriptInsetElement extends ObservatoryElement {
}
void _scrollToCurrentPos() {
var line = querySelector('#${makeLineId(_currentLine)}');
var line = shadowRoot.getElementById(makeLineId(_currentLine));
if (line != null) {
line.scrollIntoView();
}
@ -411,14 +411,19 @@ class ScriptInsetElement extends ObservatoryElement {
computeAnnotations();
var table = linesTable();
var firstBuild = false;
if (container == null) {
// Indirect to avoid deleting the style element.
container = new DivElement();
shadowRoot.append(container);
firstBuild = true;
}
container.children.clear();
container.children.add(table);
makeCssClassUncopyable(table, "noCopy");
if (firstBuild) {
_scrollToCurrentPos();
}
}
void computeAnnotations() {