| 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 411 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 422 switch (event.kind) { | 422 switch (event.kind) { |
| 423 case ServiceEvent.kBreakpointAdded: | 423 case ServiceEvent.kBreakpointAdded: |
| 424 case ServiceEvent.kBreakpointResolved: | 424 case ServiceEvent.kBreakpointResolved: |
| 425 case ServiceEvent.kBreakpointRemoved: | 425 case ServiceEvent.kBreakpointRemoved: |
| 426 var loc = event.breakpoint.location; | 426 var loc = event.breakpoint.location; |
| 427 if (loc.script == script) { | 427 if (loc.script == script) { |
| 428 int line; | 428 int line; |
| 429 if (loc.tokenPos != null) { | 429 if (loc.tokenPos != null) { |
| 430 line = script.tokenToLine(loc.tokenPos); | 430 line = script.tokenToLine(loc.tokenPos); |
| 431 } else { | 431 } else { |
| 432 line = script.tokenToLine(loc.line); | 432 line = loc.line; |
| 433 } | 433 } |
| 434 if ((line >= _startLine) && (line <= _endLine)) { | 434 if ((line >= _startLine) && (line <= _endLine)) { |
| 435 _updateTask.queue(); | 435 _updateTask.queue(); |
| 436 } | 436 } |
| 437 } | 437 } |
| 438 break; | 438 break; |
| 439 default: | 439 default: |
| 440 // Ignore. | 440 // Ignore. |
| 441 break; | 441 break; |
| 442 } | 442 } |
| (...skipping 596 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1039 @CustomTag('source-inset') | 1039 @CustomTag('source-inset') |
| 1040 class SourceInsetElement extends PolymerElement { | 1040 class SourceInsetElement extends PolymerElement { |
| 1041 SourceInsetElement.created() : super.created(); | 1041 SourceInsetElement.created() : super.created(); |
| 1042 | 1042 |
| 1043 @published SourceLocation location; | 1043 @published SourceLocation location; |
| 1044 @published String height = null; | 1044 @published String height = null; |
| 1045 @published int currentPos; | 1045 @published int currentPos; |
| 1046 @published bool inDebuggerContext = false; | 1046 @published bool inDebuggerContext = false; |
| 1047 @published ObservableList variables; | 1047 @published ObservableList variables; |
| 1048 } | 1048 } |
| OLD | NEW |