diff --git a/packages/editor-preview/src/browser/editor-preview-manager.ts b/packages/editor-preview/src/browser/editor-preview-manager.ts index 5180e66beebd2..5070826050540 100644 --- 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 { @@ -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(); + } + } }