[theia] fix focus on activation

Focus the node of a widget if the `svgElement` hasn't been created yet Fixes #45
eclipse-sprotty · Nov 5, 2019 · 077bb0a · 077bb0a
1 parent a1549c6
commit 077bb0a
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/theia/diagram-widget.ts b/src/theia/diagram-widget.ts
@@ -160,8 +160,14 @@ export class DiagramWidget extends BaseWidget implements StatefulWidget, Navigat
     protected onActivateRequest(msg: Message): void {
         super.onActivateRequest(msg);
         const svgElement = this.node.querySelector(`#${this.viewerOptions.baseDiv} svg`) as HTMLElement;
-        if (svgElement !== null)
+        if (svgElement !== null) {
             svgElement.focus();
+		} else {
+			const tabindex = this.node.getAttribute('tabindex');
+			if (tabindex === null)
+				this.node.setAttribute('tabindex', -1);
+			this.node.focus();
+		}
     }
 
     /**