From c3eb3e4622f5c5f1c4196efe43d3576a59ecd5ca Mon Sep 17 00:00:00 2001 From: Akos Kitta Date: Mon, 7 Sep 2020 16:23:06 +0200 Subject: [PATCH] arduino/arduino-pro-ide#337: Use bigger min window Signed-off-by: Akos Kitta --- electron/build/patch/electron-main.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/electron/build/patch/electron-main.js b/electron/build/patch/electron-main.js index 3e314741..aab6623e 100644 --- a/electron/build/patch/electron-main.js +++ b/electron/build/patch/electron-main.js @@ -89,8 +89,9 @@ app.on('ready', () => { title: applicationName, width: windowState.width, height: windowState.height, - minWidth: 200, - minHeight: 120, + // Set and use a custom minimum window size: https://github.com/arduino/arduino-pro-ide/issues/337#issuecomment-687017281 + minWidth: 900, + minHeight: 800, x: windowState.x, y: windowState.y, isMaximized: windowState.isMaximized,