| Index: runtime/observatory/lib/src/elements/debugger.dart
|
| diff --git a/runtime/observatory/lib/src/elements/debugger.dart b/runtime/observatory/lib/src/elements/debugger.dart
|
| index ae0ab6f24b11cfa5ff6361146561e87ac4b37a39..b4709c9c44cda311e7241563e2886d67f2f60d7a 100644
|
| --- a/runtime/observatory/lib/src/elements/debugger.dart
|
| +++ b/runtime/observatory/lib/src/elements/debugger.dart
|
| @@ -1484,7 +1484,8 @@ class DebuggerPageElement extends ObservatoryElement {
|
| // Random clicks should focus on the text box. If the user selects
|
| // a range, don't interfere.
|
| var selection = window.getSelection();
|
| - if (selection == null || selection.type == 'Caret') {
|
| + if (selection == null ||
|
| + (selection.type != 'Range' && selection.type != 'text')) {
|
| debugger.input.focus();
|
| }
|
| });
|
|
|