summaryrefslogtreecommitdiff
path: root/src/trace_viewer/main.ts
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-10-31 17:32:33 +0000
committerAlasdair Armstrong2017-10-31 17:32:33 +0000
commite8de662b4d8d5e4bcc7368277d8607f9a8bc3405 (patch)
treef28380e9ef17f317da223fa535d52078edb49655 /src/trace_viewer/main.ts
parenta82fcc52ee1145f61698ea7e71141ebd76ff04d2 (diff)
Added trace viewer application for traces produced by sail -ocaml_trace
See README file for how to set up and use
Diffstat (limited to 'src/trace_viewer/main.ts')
-rw-r--r--src/trace_viewer/main.ts12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/trace_viewer/main.ts b/src/trace_viewer/main.ts
new file mode 100644
index 00000000..5cc33452
--- /dev/null
+++ b/src/trace_viewer/main.ts
@@ -0,0 +1,12 @@
+import {app, BrowserWindow} from 'electron'
+
+let win : BrowserWindow | null = null
+
+app.on('ready', () => {
+ win = new BrowserWindow({width: 1920, height: 1200})
+ win.loadURL('file://' + __dirname + '/index.html')
+ //win.webContents.openDevTools()
+ win.on('close', () => {
+ win = null
+ })
+}) \ No newline at end of file