| 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 |