Specify a progress bar height of 200. For Ravel #529.

highperformancecoder · May 21, 2024 · a832b2c · a832b2c
1 parent 390cd31
commit a832b2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gui-js/apps/minsky-electron/src/app/backend-init.ts b/gui-js/apps/minsky-electron/src/app/backend-init.ts
@@ -145,7 +145,7 @@ restService.setBusyCursorCallback(function (busy: boolean) {
   WindowManager.getMainWindow()?.webContents?.send(events.CURSOR_BUSY, busy);
   if (!initProgressBar && busy)
     initProgressBar=setTimeout(()=>{
-      progress.browserWindow={parent: WindowManager.getMainWindow()};
+      progress.browserWindow={parent: WindowManager.getMainWindow(), height: 200};
       progressBar=new ProgressBar(progress);
       progressBar.on('ready',()=>{progressBar._window.webContents.executeJavaScript(injectCancelButton);});
       progressBar.value=progress.value;