Finish moving service protocol to json rpc.

runtime/observatory/lib/src/elements/nav_bar.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 nav_bar_element;
 
 import 'dart:async';
 import 'dart:html';
 import 'observatory_element.dart';
 import 'package:observatory/service.dart';
@@ skipping 65 matching lines @@
   @published bool last = false;
 
   TopNavMenuElement.created() : super.created();
 }
 
 @CustomTag('isolate-nav-menu')
 class IsolateNavMenuElement extends ObservatoryElement {
   @published bool last = false;
   @published Isolate isolate;
 
-  void isolateChanged(oldValue) {
-    notifyPropertyChange(#hashLinkWorkaround, 0, 1);
-  }
-
-  // TODO(turnidge): Figure out why polymer needs this function.
-  @reflectable
-  String get hashLinkWorkaround {
-    if (isolate != null) {
-      return isolate.link;
-    } else {
-      return '';
-    }
-  }
-  @reflectable set hashLinkWorkaround(var x) { /* silence polymer */ }
-
   IsolateNavMenuElement.created() : super.created();
 }
 
 @CustomTag('library-nav-menu')
 class LibraryNavMenuElement extends ObservatoryElement {
   @published Library library;
   @published bool last = false;
 
   LibraryNavMenuElement.created() : super.created();
 }
@@ skipping 34 matching lines @@
     app.removePauseEvents(event.isolate);
     return event.isolate.stepOut();
   }
 
   void closeItem(MouseEvent e, var detail, Element target) {
     events.remove(event);
   }
 
   NavNotifyItemElement.created() : super.created();
 }