diff --git a/script/zed-local b/script/zed-local index b50a8dbb63..04679f39af 100755 --- a/script/zed-local +++ b/script/zed-local @@ -71,8 +71,9 @@ const mainDisplayResolution = if (!mainDisplayResolution) { throw new Error("Could not parse screen resolution"); } +const titleBarHeight = 24; const screenWidth = parseInt(mainDisplayResolution[1]); -let screenHeight = parseInt(mainDisplayResolution[2]); +let screenHeight = parseInt(mainDisplayResolution[2]) - titleBarHeight; if (isTop) { screenHeight = Math.floor(screenHeight / 2); @@ -114,12 +115,20 @@ if (isReleaseMode) { zedBinary = "target/release/Zed"; } -execFileSync("cargo", buildArgs, { stdio: "inherit" }); +try { + execFileSync("cargo", buildArgs, { stdio: "inherit" }); +} catch (e) { + process.exit(0); +} + setTimeout(() => { for (let i = 0; i < instanceCount; i++) { const row = Math.floor(i / columns); const column = i % columns; - const position = [column * instanceWidth, row * instanceHeight].join(","); + const position = [ + column * instanceWidth, + row * instanceHeight + titleBarHeight, + ].join(","); const size = [instanceWidth, instanceHeight].join(","); spawn(zedBinary, i == 0 ? args : [], {