| OLD | NEW | 
|   1 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file |   1 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file | 
|   2 // for details. All rights reserved. Use of this source code is governed by a |   2 // for details. All rights reserved. Use of this source code is governed by a | 
|   3 // BSD-style license that can be found in the LICENSE file. |   3 // BSD-style license that can be found in the LICENSE file. | 
|   4  |   4  | 
|   5 import 'dart:html'; |   5 import 'dart:html'; | 
|   6 import 'dart:async'; |   6 import 'dart:async'; | 
|   7 import 'package:observatory/models.dart' as M |   7 import 'package:observatory/models.dart' as M | 
|   8   show IsolateRef, ContextRef; |   8   show IsolateRef, ContextRef; | 
|   9 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; |   9 import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; | 
|  10 import 'package:observatory/src/elements/helpers/tag.dart'; |  10 import 'package:observatory/src/elements/helpers/tag.dart'; | 
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
|  46   void detached() { |  46   void detached() { | 
|  47     super.detached(); |  47     super.detached(); | 
|  48     _r.disable(notify: true); |  48     _r.disable(notify: true); | 
|  49     children = []; |  49     children = []; | 
|  50   } |  50   } | 
|  51  |  51  | 
|  52   void render() { |  52   void render() { | 
|  53     children = [ |  53     children = [ | 
|  54       new AnchorElement(href: Uris.inspect(_isolate, object: _context)) |  54       new AnchorElement(href: Uris.inspect(_isolate, object: _context)) | 
|  55         ..children = [ |  55         ..children = [ | 
|  56           new SpanElement()..classes = ['empathize']..text = 'Context', |  56           new SpanElement()..classes = ['emphasize']..text = 'Context', | 
|  57           new SpanElement()..text = ' (${_context.length})' |  57           new SpanElement()..text = ' (${_context.length})' | 
|  58         ] |  58         ] | 
|  59     ]; |  59     ]; | 
|  60   } |  60   } | 
|  61 } |  61 } | 
| OLD | NEW |