| 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 script_inset_element; | 5 library script_inset_element; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:html'; | 8 import 'dart:html'; |
| 9 import 'observatory_element.dart'; | 9 import 'observatory_element.dart'; |
| 10 import 'service_ref.dart'; | 10 import 'service_ref.dart'; |
| (...skipping 275 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 286 tooltip += "\nNot inlinable!"; | 286 tooltip += "\nNot inlinable!"; |
| 287 } | 287 } |
| 288 if (function.deoptimizations > 0) { | 288 if (function.deoptimizations > 0) { |
| 289 tooltip += "\nDeoptimized ${function.deoptimizations} times!"; | 289 tooltip += "\nDeoptimized ${function.deoptimizations} times!"; |
| 290 } | 290 } |
| 291 element.title = tooltip; | 291 element.title = tooltip; |
| 292 | 292 |
| 293 if (function.isOptimizable == false || | 293 if (function.isOptimizable == false || |
| 294 function.isInlinable == false || | 294 function.isInlinable == false || |
| 295 function.deoptimizations >0) { | 295 function.deoptimizations >0) { |
| 296 element.style.backgroundColor = "red"; | 296 element.style.backgroundColor = "#EEA7A7"; // Low-saturation red. |
| 297 } | 297 } |
| 298 | 298 |
| 299 addLink(element, url); | 299 addLink(element, url); |
| 300 } | 300 } |
| 301 } | 301 } |
| 302 | 302 |
| 303 /// Box with script source code in it. | 303 /// Box with script source code in it. |
| 304 @CustomTag('script-inset') | 304 @CustomTag('script-inset') |
| 305 class ScriptInsetElement extends ObservatoryElement { | 305 class ScriptInsetElement extends ObservatoryElement { |
| 306 @published Script script; | 306 @published Script script; |
| (...skipping 592 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 899 class SourceInsetElement extends PolymerElement { | 899 class SourceInsetElement extends PolymerElement { |
| 900 SourceInsetElement.created() : super.created(); | 900 SourceInsetElement.created() : super.created(); |
| 901 | 901 |
| 902 @published SourceLocation location; | 902 @published SourceLocation location; |
| 903 @published String height = null; | 903 @published String height = null; |
| 904 @published int currentPos; | 904 @published int currentPos; |
| 905 @published bool inDebuggerContext = false; | 905 @published bool inDebuggerContext = false; |
| 906 @published ObservableList variables; | 906 @published ObservableList variables; |
| 907 } | 907 } |
| 908 | 908 |
| OLD | NEW |