| 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 2303 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2314 @CustomTag('debugger-input') | 2314 @CustomTag('debugger-input') |
| 2315 class DebuggerInputElement extends ObservatoryElement { | 2315 class DebuggerInputElement extends ObservatoryElement { |
| 2316 @published Isolate isolate; | 2316 @published Isolate isolate; |
| 2317 @published String text = ''; | 2317 @published String text = ''; |
| 2318 @observable ObservatoryDebugger debugger; | 2318 @observable ObservatoryDebugger debugger; |
| 2319 @observable bool busy = false; | 2319 @observable bool busy = false; |
| 2320 @observable String modalPrompt = null; | 2320 @observable String modalPrompt = null; |
| 2321 var modalCallback = null; | 2321 var modalCallback = null; |
| 2322 | 2322 |
| 2323 void enterMode(String prompt, callback) { | 2323 void enterMode(String prompt, callback) { |
| 2324 assert(prompt == null); | 2324 assert(modalPrompt == null); |
| 2325 modalPrompt = prompt; | 2325 modalPrompt = prompt; |
| 2326 modalCallback = callback; | 2326 modalCallback = callback; |
| 2327 } | 2327 } |
| 2328 | 2328 |
| 2329 void exitMode() { | 2329 void exitMode() { |
| 2330 assert(prompt != null); | 2330 assert(modalPrompt != null); |
| 2331 modalPrompt = null; | 2331 modalPrompt = null; |
| 2332 modalCallback = null; | 2332 modalCallback = null; |
| 2333 } | 2333 } |
| 2334 | 2334 |
| 2335 @override | 2335 @override |
| 2336 void ready() { | 2336 void ready() { |
| 2337 super.ready(); | 2337 super.ready(); |
| 2338 var textBox = $['textBox']; | 2338 var textBox = $['textBox']; |
| 2339 textBox.select(); | 2339 textBox.select(); |
| 2340 textBox.onKeyDown.listen((KeyboardEvent e) { | 2340 textBox.onKeyDown.listen((KeyboardEvent e) { |
| (...skipping 113 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2454 } | 2454 } |
| 2455 }); | 2455 }); |
| 2456 } | 2456 } |
| 2457 | 2457 |
| 2458 void focus() { | 2458 void focus() { |
| 2459 $['textBox'].focus(); | 2459 $['textBox'].focus(); |
| 2460 } | 2460 } |
| 2461 | 2461 |
| 2462 DebuggerInputElement.created() : super.created(); | 2462 DebuggerInputElement.created() : super.created(); |
| 2463 } | 2463 } |
| OLD | NEW |