From a832b2cfbbd172e1f4e70ec3f148de54534e241b Mon Sep 17 00:00:00 2001
From: Russell Standish <hpcoder@hpcoders.com.au>
Date: Tue, 21 May 2024 17:00:57 +1000
Subject: [PATCH] Specify a progress bar height of 200. For Ravel #529.

---
 gui-js/apps/minsky-electron/src/app/backend-init.ts | 2 +-
 1 file changed, 1 insertion(+), 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
index 8d956df71..58feefe8f 100644
--- 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;