| 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 1366 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1377 console.print('Paused due to exception at ' | 1377 console.print('Paused due to exception at ' |
| 1378 '${script.name}:${line}:${col}'); | 1378 '${script.name}:${line}:${col}'); |
| 1379 // This seems to be missing if we are paused-at-exception after | 1379 // This seems to be missing if we are paused-at-exception after |
| 1380 // paused-at-isolate-exit. Maybe we shutdown part of the debugger too | 1380 // paused-at-isolate-exit. Maybe we shutdown part of the debugger too |
| 1381 // soon? | 1381 // soon? |
| 1382 console.printRef(event.exception); | 1382 console.printRef(event.exception); |
| 1383 } else { | 1383 } else { |
| 1384 console.print('Paused at ${script.name}:${line}:${col}'); | 1384 console.print('Paused at ${script.name}:${line}:${col}'); |
| 1385 } | 1385 } |
| 1386 }); | 1386 }); |
| 1387 } else { |
| 1388 console.print("Paused in message loop (type 'continue' or [F7] " |
| 1389 "to resume processing messages)"); |
| 1387 } | 1390 } |
| 1388 } | 1391 } |
| 1389 | 1392 |
| 1390 Future _reportBreakpointEvent(ServiceEvent event) async { | 1393 Future _reportBreakpointEvent(ServiceEvent event) async { |
| 1391 var bpt = event.breakpoint; | 1394 var bpt = event.breakpoint; |
| 1392 var verb = null; | 1395 var verb = null; |
| 1393 switch (event.kind) { | 1396 switch (event.kind) { |
| 1394 case ServiceEvent.kBreakpointAdded: | 1397 case ServiceEvent.kBreakpointAdded: |
| 1395 verb = 'added'; | 1398 verb = 'added'; |
| 1396 break; | 1399 break; |
| (...skipping 959 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2356 } | 2359 } |
| 2357 }); | 2360 }); |
| 2358 } | 2361 } |
| 2359 | 2362 |
| 2360 void focus() { | 2363 void focus() { |
| 2361 $['textBox'].focus(); | 2364 $['textBox'].focus(); |
| 2362 } | 2365 } |
| 2363 | 2366 |
| 2364 DebuggerInputElement.created() : super.created(); | 2367 DebuggerInputElement.created() : super.created(); |
| 2365 } | 2368 } |
| OLD | NEW |