| 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 library code_ref_element; | 5 library code_ref_element; | 
| 6 | 6 | 
| 7 import 'dart:html'; | 7 import 'dart:html'; | 
| 8 import 'dart:async'; | 8 import 'dart:async'; | 
| 9 import 'package:observatory/models.dart' as M | 9 import 'package:observatory/models.dart' as M | 
| 10     show IsolateRef, CodeRef, isSyntheticCode; | 10     show IsolateRef, CodeRef, isSyntheticCode; | 
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 49     children = []; | 49     children = []; | 
| 50     _r.disable(notify: true); | 50     _r.disable(notify: true); | 
| 51   } | 51   } | 
| 52 | 52 | 
| 53   void render() { | 53   void render() { | 
| 54     final name = (_code.isOptimized ? '*' : '') + _code.name; | 54     final name = (_code.isOptimized ? '*' : '') + _code.name; | 
| 55     children = [ | 55     children = [ | 
| 56       new AnchorElement( | 56       new AnchorElement( | 
| 57           href: ((M.isSyntheticCode(_code.kind)) || (_isolate == null)) | 57           href: ((M.isSyntheticCode(_code.kind)) || (_isolate == null)) | 
| 58               ? null | 58               ? null | 
| 59               : Uris.inspect(_isolate, object: _code))..text = name | 59               : Uris.inspect(_isolate, object: _code)) | 
|  | 60         ..text = name | 
| 60     ]; | 61     ]; | 
| 61   } | 62   } | 
| 62 } | 63 } | 
| OLD | NEW | 
|---|