Convert on double click

Signed-off-by: Colin Grant <[email protected]>
eclipse-theia · May 27, 2021 · 0053b56 · 0053b56
1 parent cbec39f
commit 0053b56
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/packages/editor-preview/src/browser/editor-preview-manager.ts b/packages/editor-preview/src/browser/editor-preview-manager.ts
@@ -56,6 +56,7 @@ export class EditorPreviewManager extends EditorManager {
                 });
             }
         });
+
         this.preferences.onPreferenceChanged(change => {
             if (!change.newValue) {
                 this.currentPreview?.convertToNonPreview();
@@ -70,6 +71,8 @@ export class EditorPreviewManager extends EditorManager {
             }
             this.layoutIsSet = true;
         });
+
+        document.addEventListener('dblclick', this.convertEditorOnDoubleClick.bind(this));
     }
 
     protected async doOpen(widget: EditorPreviewWidget, options?: EditorOpenerOptions): Promise<void> {
@@ -113,4 +116,11 @@ export class EditorPreviewManager extends EditorManager {
         navigatableOptions.preview = !!options?.preview;
         return navigatableOptions;
     }
+
+    protected convertEditorOnDoubleClick(event: Event): void {
+        const widget = this.shell.findTargetedWidget(event);
+        if (widget === this.currentPreview) {
+            this.currentPreview?.convertToNonPreview();
+        }
+    }
 }