| 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 ef0f62d2d794f3568d033cd64e8a5cb2b6350c0a..16874a6cfaee3594ac5ca7c0a82651291d29fabc 100644
|
| --- a/runtime/observatory/lib/src/elements/debugger.dart
|
| +++ b/runtime/observatory/lib/src/elements/debugger.dart
|
| @@ -855,6 +855,7 @@ class ObservatoryDebugger extends Debugger {
|
| RootCommand cmd;
|
| DebuggerPageElement page;
|
| DebuggerConsoleElement console;
|
| + DebuggerInputElement input;
|
| DebuggerStackElement stackElement;
|
| ServiceMap stack;
|
| String exceptions = "none"; // Last known setting.
|
| @@ -991,6 +992,7 @@ class ObservatoryDebugger extends Debugger {
|
| } else {
|
| currentFrame = null;
|
| }
|
| + input.focus();
|
| });
|
| }
|
|
|
| @@ -1257,10 +1259,10 @@ class DebuggerPageElement extends ObservatoryElement {
|
| debugger.stackElement = stackElement;
|
| stackElement.debugger = debugger;
|
| debugger.console = $['console'];
|
| - $['commandline'].debugger = debugger;
|
| + debugger.input = $['commandline'];
|
| + debugger.input.debugger = debugger;
|
| debugger.init();
|
| }
|
| -
|
| }
|
|
|
| @CustomTag('debugger-stack')
|
| @@ -1713,6 +1715,10 @@ class DebuggerInputElement extends ObservatoryElement {
|
| });
|
| }
|
|
|
| + void focus() {
|
| + $['textBox'].focus();
|
| + }
|
| +
|
| DebuggerInputElement.created() : super.created();
|
| }
|
|
|
|
|