OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 debugger_page_element; | 5 library debugger_page_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 'package:observatory/app.dart'; | 10 import 'package:observatory/app.dart'; |
(...skipping 1464 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1475 break; | 1475 break; |
1476 | 1476 |
1477 case ServiceEvent.kBreakpointAdded: | 1477 case ServiceEvent.kBreakpointAdded: |
1478 case ServiceEvent.kBreakpointResolved: | 1478 case ServiceEvent.kBreakpointResolved: |
1479 case ServiceEvent.kBreakpointRemoved: | 1479 case ServiceEvent.kBreakpointRemoved: |
1480 if (event.owner == isolate) { | 1480 if (event.owner == isolate) { |
1481 _reportBreakpointEvent(event); | 1481 _reportBreakpointEvent(event); |
1482 } | 1482 } |
1483 break; | 1483 break; |
1484 | 1484 |
1485 case ServiceEvent.kIsolateStart: | 1485 case ServiceEvent.kIsolateRunnable: |
1486 case ServiceEvent.kGraph: | 1486 case ServiceEvent.kGraph: |
1487 case ServiceEvent.kGC: | 1487 case ServiceEvent.kGC: |
1488 case ServiceEvent.kInspect: | 1488 case ServiceEvent.kInspect: |
| 1489 // Ignore. |
1489 break; | 1490 break; |
1490 | 1491 |
1491 case ServiceEvent.kLogging: | 1492 case ServiceEvent.kLogging: |
1492 _consolePrinter.onEvent(event.logRecord['level'].name, event); | 1493 _consolePrinter.onEvent(event.logRecord['level'].name, event); |
1493 break; | 1494 break; |
1494 | 1495 |
1495 default: | 1496 default: |
1496 console.print('Unrecognized event: $event'); | 1497 console.print('Unrecognized event: $event'); |
1497 break; | 1498 break; |
1498 } | 1499 } |
(...skipping 852 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2351 } | 2352 } |
2352 }); | 2353 }); |
2353 } | 2354 } |
2354 | 2355 |
2355 void focus() { | 2356 void focus() { |
2356 $['textBox'].focus(); | 2357 $['textBox'].focus(); |
2357 } | 2358 } |
2358 | 2359 |
2359 DebuggerInputElement.created() : super.created(); | 2360 DebuggerInputElement.created() : super.created(); |
2360 } | 2361 } |
OLD | NEW |