| 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 285 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 296 '\n' | 296 '\n' |
| 297 'Syntax: pause\n'; | 297 'Syntax: pause\n'; |
| 298 } | 298 } |
| 299 | 299 |
| 300 class ContinueCommand extends DebuggerCommand { | 300 class ContinueCommand extends DebuggerCommand { |
| 301 ContinueCommand(Debugger debugger) : super(debugger, 'continue', []) { | 301 ContinueCommand(Debugger debugger) : super(debugger, 'continue', []) { |
| 302 alias = 'c'; | 302 alias = 'c'; |
| 303 } | 303 } |
| 304 | 304 |
| 305 Future run(List<String> args) { | 305 Future run(List<String> args) { |
| 306 debugger.resume(); | 306 return debugger.resume(); |
| 307 } | 307 } |
| 308 | 308 |
| 309 String helpShort = 'Resume execution of the isolate (hotkey: [F7])'; | 309 String helpShort = 'Resume execution of the isolate (hotkey: [F7])'; |
| 310 | 310 |
| 311 String helpLong = | 311 String helpLong = |
| 312 'Continue running the isolate.\n' | 312 'Continue running the isolate.\n' |
| 313 '\n' | 313 '\n' |
| 314 'Hotkey: [F7]\n' | 314 'Hotkey: [F7]\n' |
| 315 '\n' | 315 '\n' |
| 316 'Syntax: continue\n' | 316 'Syntax: continue\n' |
| (...skipping 1982 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2299 } | 2299 } |
| 2300 }); | 2300 }); |
| 2301 } | 2301 } |
| 2302 | 2302 |
| 2303 void focus() { | 2303 void focus() { |
| 2304 $['textBox'].focus(); | 2304 $['textBox'].focus(); |
| 2305 } | 2305 } |
| 2306 | 2306 |
| 2307 DebuggerInputElement.created() : super.created(); | 2307 DebuggerInputElement.created() : super.created(); |
| 2308 } | 2308 } |
| OLD | NEW |