isabelle: src/Tools/Electron/test/main.js@89347c0cc6a3 (annotated)

Mercurial Mercurial > repos > isabelle / annotate

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help

src/Tools/Electron/test/main.js

author	haftmann
	Thu, 19 Jun 2025 17:15:40 +0200
changeset 82734	89347c0cc6a3
parent 75453	e2aa3c1f90a1
permissions	-rw-r--r--

treat map_filter similar to list_all, list_ex, list_ex1

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	})

isabelle