Wrapping leaf nodes in non polymer elements

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

 // 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:async';
 import 'dart:html';
 import 'dart:math';
 import 'observatory_element.dart';
-import 'nav_bar.dart';
-import 'service_ref.dart';
+import 'any_service_ref_wrapper.dart';
 import 'package:observatory/service.dart';
 import 'package:observatory/utils.dart';
 import 'package:polymer/polymer.dart';
 import 'package:logging/logging.dart';
 
 const nbsp = "\u00A0";
 
 void addInfoBox(Element content, Function infoBoxGenerator) {
   var infoBox;
   var show = false;
@@ skipping 69 matching lines @@
   Element cell(content) {
     var e = new DivElement();
     e.style.display = "table-cell";
     e.style.padding = "3px";
     if (content is String) e.text = content;
     if (content is Element) e.children.add(content);
     return e;
   }
 
   Element serviceRef(object) {
-    AnyServiceRefElement e = new Element.tag("any-service-ref");
+    AnyServiceRefElementWrapper e = new Element.tag("any-service-ref");
     e.ref = object;
     return e;
   }
 }
 
 class CurrentExecutionAnnotation extends Annotation {
   int priority = 0;  // highest priority.
 
   void applyStyleTo(element) {
     if (element == null) {
@@ skipping 864 matching lines @@
         }
       }
     }
   }
 
   int _buttonTop(Element element) {
     if (element == null) {
       return 5;
     }
     const padding = 5;
-    const navbarHeight = NavBarElement.height;
+    // TODO (cbernaschina) check if this is needed.
+    const navbarHeight = 40;
     var rect = getBoundingClientRect();
     var buttonHeight = element.clientHeight;
     return min(max(0, navbarHeight - rect.top) + padding,
                rect.height - (buttonHeight + padding));
   }
 
   RefreshButtonElement _newRefreshButton() {
     var button = new Element.tag('refresh-button');
     button.style.position = 'absolute';
     button.style.display = 'inline-block';
@@ skipping 371 matching lines @@
 class SourceInsetElement extends PolymerElement {
   SourceInsetElement.created() : super.created();
 
   @published SourceLocation location;
   @published String height = null;
   @published int currentPos;
   @published bool inDebuggerContext = false;
   @published ObservableList variables;
   @published Element scroller;
 }