message: Don't open devtools on start.
diff: @@ -35,8 +35,6 @@ app.on("ready", () => {
  browserWindow.focus();
  });
  - browserWindow.webContents.openDevTools();
  -
  app.on("open-file", (_event, file) => browserWindow.webContents.send("change-working-directory", file));
  });
  