src/Tools/Electron/test/main.js
author wenzelm
Fri, 06 Jan 2023 14:59:59 +0100
changeset 76931 cca0b48ca891
parent 75453 e2aa3c1f90a1
permissions -rw-r--r--
unused;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
75453
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     1
const { app, BrowserWindow } = require('electron')
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     2
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     3
const createWindow = () => {
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     4
  const win = new BrowserWindow({
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     5
    width: 800,
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     6
    height: 600
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     7
  })
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     8
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
     9
  win.loadURL(process.env.URL || 'https://isabelle.in.tum.de')
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
    10
}
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
    11
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
    12
app.whenReady().then(() => {
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
    13
  createWindow()
e2aa3c1f90a1 provide Isabelle/Electron test;
wenzelm
parents:
diff changeset
    14
})