From d58345373282d2a8d767426ea734deda9e1de5fb Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Thu, 6 Oct 2022 08:58:13 +0200 Subject: [PATCH] Try dispatching a resize message manually --- packages/application-extension/package.json | 1 + packages/application-extension/src/index.ts | 15 ++++++++++++++- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/packages/application-extension/package.json b/packages/application-extension/package.json index 1aae687f0..771a5f187 100644 --- a/packages/application-extension/package.json +++ b/packages/application-extension/package.json @@ -55,6 +55,7 @@ "@jupyterlab/translation": "^4.0.0-alpha.14", "@lumino/coreutils": "^2.0.0-alpha.6", "@lumino/disposable": "^2.0.0-alpha.6", + "@lumino/messaging": "^2.0.0-alpha.6", "@lumino/widgets": "^2.0.0-alpha.6" }, "devDependencies": { diff --git a/packages/application-extension/src/index.ts b/packages/application-extension/src/index.ts index 00011f839..236997e29 100644 --- a/packages/application-extension/src/index.ts +++ b/packages/application-extension/src/index.ts @@ -50,6 +50,8 @@ import { IDisposable } from '@lumino/disposable'; +import { MessageLoop } from '@lumino/messaging'; + import { Menu, Widget } from '@lumino/widgets'; import { SideBarPalette } from './sidebarpalette'; @@ -201,7 +203,7 @@ const opener: JupyterFrontEndPlugin = { // TODO: fix upstream? await settingRegistry?.load('@jupyterlab/notebook-extension:panel'); - await new Promise(async () => { + await new Promise(async (resolve, reject) => { // TODO: get factory from file type instead? if (ext === '.ipynb') { docManager.open(file, NOTEBOOK_FACTORY, undefined, { @@ -212,7 +214,18 @@ const opener: JupyterFrontEndPlugin = { ref: '_noref' }); } + resolve(void 0); }); + + // force triggering a resize event to try fixing toolbar rendering issues: + // https://github.com/jupyter/notebook/issues/6553 + const currentWidget = app.shell.currentWidget; + if (currentWidget) { + MessageLoop.sendMessage( + currentWidget, + Widget.ResizeMessage.UnknownSize + ); + } } });