From 81e128fd10f07c4b012a05e4d33bf6e43931e376 Mon Sep 17 00:00:00 2001
From: Gregg Tavares <github@greggman.com>
Date: Wed, 25 Mar 2020 13:39:12 +0900
Subject: [PATCH] add more room for log by default

---
 main.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/main.js b/main.js
index aa7a545..1c2902c 100644
--- a/main.js
+++ b/main.js
@@ -121,8 +121,9 @@ let skipSaveBecauseStartedByShell = isShell;
 function createWindow() {
   mainWindow = new BrowserWindow({
     webPreferences: {
-        nodeIntegration: true
+        nodeIntegration: true,
     },
+    height: 650,
     defaultEncoding: "utf8",
   });