From cfdb00529ce46b94634e1be566a31e302a788dc5 Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 9 Dec 2019 18:48:15 +0100 Subject: [PATCH] Fixed focus. Signed-off-by: Akos Kitta --- arduino-ide-extension/src/browser/monitor/monitor-widget.tsx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx b/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx index 7b12832a..65a009f6 100644 --- a/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx +++ b/arduino-ide-extension/src/browser/monitor/monitor-widget.tsx @@ -6,7 +6,7 @@ import { isOSX } from '@theia/core/lib/common/os'; import { Event, Emitter } from '@theia/core/lib/common/event'; import { Key, KeyCode } from '@theia/core/lib/browser/keys'; import { DisposableCollection } from '@theia/core/lib/common/disposable' -import { ReactWidget, Message, Widget } from '@theia/core/lib/browser/widgets'; +import { ReactWidget, Message, Widget, MessageLoop } from '@theia/core/lib/browser/widgets'; import { Board, Port } from '../../common/protocol/boards-service'; import { MonitorConfig } from '../../common/protocol/monitor-service'; import { ArduinoSelect } from '../components/arduino-select'; @@ -101,6 +101,7 @@ export class MonitorWidget extends ReactWidget { protected onFocusResolved = (element: HTMLElement | undefined) => { this.focusNode = element; + requestAnimationFrame(() => MessageLoop.sendMessage(this, Widget.Msg.ActivateRequest)); } protected get lineEndings(): OptionsType> {