Revert "Build Observatory with runtime"

runtime/observatory/lib/src/elements/script_inset.dart

Index: runtime/observatory/lib/src/elements/script_inset.dart
diff --git a/runtime/observatory/lib/src/elements/script_inset.dart b/runtime/observatory/lib/src/elements/script_inset.dart
deleted file mode 100644
index 814c45f61988a8e9b18b84bb7c6f26fca738a71b..0000000000000000000000000000000000000000
--- a/runtime/observatory/lib/src/elements/script_inset.dart
+++ /dev/null
@@ -1,148 +0,0 @@
-// Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-library script_inset_element;
-
-import 'dart:html';
-import 'observatory_element.dart';
-import 'package:observatory/service.dart';
-import 'package:polymer/polymer.dart';
-
-/// Box with script source code in it.
-@CustomTag('script-inset')
-class ScriptInsetElement extends ObservatoryElement {
-  @published Script script;
-
-  /// Set the height to make the script inset scroll.  Otherwise it
-  /// will show from startPos to endPos.
-  @published String height = null;
-
-  @published int currentPos;
-  @published int startPos;
-  @published int endPos;
-
-  @observable int currentLine;
-  @observable int startLine;
-  @observable int endLine;
-  @observable bool linesReady = false;
-
-  @observable List<ScriptLine> lines = toObservable([]);
-
-  String makeLineId(int line) {
-    return 'line-$line';
-  }
-
-  MutationObserver _observer;
-
-  void _scrollToCurrentPos() {
-    var line = shadowRoot.querySelector('#line-$currentLine');
-    if (line != null) {
-      line.scrollIntoView();
-    }
-  }
-
-  void _onMutation(mutations, observer) {
-    _scrollToCurrentPos();
-  } 
-
-  void attached() {
-    super.attached();
-    var table = shadowRoot.querySelector('.sourceTable');
-    if (table != null) {
-      _observer = new MutationObserver(_onMutation);
-      _observer.observe(table, childList:true);
-    }
-  }
-
-  void detached() {
-    if (_observer != null) {
-      _observer.disconnect();
-      _observer = null;
-    }
-    super.detached();
-  }
-
-  void currentPosChanged(oldValue) {
-    _updateLines();
-    _scrollToCurrentPos();
-  }
-
-  void startPosChanged(oldValue) {
-    _updateLines();
-  }
-
-  void endPosChanged(oldValue) {
-    _updateLines();
-  }
-
-  void scriptChanged(oldValue) {
-    _updateLines();
-  }
-
-  var _updateFuture;
-
-  void _updateLines() {
-    linesReady = false;
-    if (_updateFuture != null) {
-      // Already scheduled.
-      return;
-    }
-    if (script == null) {
-      // Wait for script to be assigned.
-      return;
-    }
-    if (!script.loaded) {
-      _updateFuture = script.load().then((_) {
-        if (script.loaded) {
-          _updateFuture = null;
-          _updateLines();
-        }
-      });
-      return;
-    }
-    startLine = (startPos != null
-                 ? script.tokenToLine(startPos)
-                 : 1);
-    currentLine = (currentPos != null
-                   ? script.tokenToLine(currentPos)
-                   : null);
-    endLine = (endPos != null
-               ? script.tokenToLine(endPos)
-               : script.lines.length);
-
-    lines.clear();
-    for (int i = (startLine - 1); i <= (endLine - 1); i++) {
-      lines.add(script.lines[i]);
-    }
-    linesReady = true;
-  }
-
-  ScriptInsetElement.created() : super.created();
-}
-
-@CustomTag('breakpoint-toggle')
-class BreakpointToggleElement extends ObservatoryElement {
-  @published ScriptLine line;
-  @observable bool busy = false;
-
-  void toggleBreakpoint(var a, var b, var c) {
-    if (busy) {
-      return;
-    }
-    busy = true;
-    if (line.bpt == null) {
-      // No breakpoint.  Set it.
-      line.script.isolate.setBreakpoint(line.script, line.line).then((_) {
-          busy = false;
-      });
-    } else {
-      // Existing breakpoint.  Remove it.
-      line.script.isolate.clearBreakpoint(line.bpt).then((_) {
-          busy = false;
-      });
-    }
-  }
-
-  BreakpointToggleElement.created() : super.created();
-}