Address review feedback

- Fix "goToPreviousNode" command definition
- Ensure that diagram widget focus state changes are forwarded to the GLSP FocusTracker

Author: tortmayr

example/workflow/extension/package.json

@@ -150,7 +150,7 @@
         },
         {
           "command": "workflow.goToPreviousNode",
-          "group": "",
+          "group": "navigation",
           "when": "activeCustomEditorId == 'workflow.glspDiagram' && workflow.editorSelectedElementsAmount == 1"
         },
         {

packages/vscode-integration-webview/src/glsp-diagram-widget.ts

@@ -18,14 +18,14 @@
 import {
     DiagramLoader,
     DiagramLoadingOptions,
+    FocusStateChangedAction,
     IActionDispatcher,
     IDiagramOptions,
     ModelSource,
     TYPES,
     ViewerOptions
 } from '@eclipse-glsp/client';
 import { inject, injectable, postConstruct } from 'inversify';
-
 export const GLSPDiagramWidgetFactory = Symbol('GLSPDiagramWidgetFactory');
 export type GLSPDiagramWidgetFactory = () => GLSPDiagramWidget;
 
@@ -71,6 +71,8 @@ export abstract class GLSPDiagramWidget {
             this.containerDiv = containerDiv;
             containerDiv.addEventListener('mouseenter', e => this.handleMouseEnter(e));
             containerDiv.addEventListener('mouseleave', e => this.handleMouseLeave(e));
+            window.addEventListener('focus', e => this.handleFocusChange(e, true));
+            window.addEventListener('blur', e => this.handleFocusChange(e, false));
         }
     }
 
@@ -84,6 +86,10 @@ export abstract class GLSPDiagramWidget {
         this.containerDiv?.classList.remove('mouse-enter');
     }
 
+    handleFocusChange(e: FocusEvent, hasFocus: boolean): void {
+        this.actionDispatcher.dispatch(FocusStateChangedAction.create(hasFocus));
+    }
+
     protected createDiagramLoadingOptions(): DiagramLoadingOptions | undefined {
         return undefined;
     }