From 4f5384bb7473b8894cf1875d1f686cec42410375 Mon Sep 17 00:00:00 2001
From: Cheng Zhao <zcbenz@gmail.com>
Date: Wed, 3 Apr 2024 07:45:30 +0100
Subject: [PATCH] Quit when window is closed

---
 src/gui-main.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/gui-main.ts b/src/gui-main.ts
index 7fd04af..7add6aa 100644
--- a/src/gui-main.ts
+++ b/src/gui-main.ts
@@ -24,6 +24,7 @@ function guiMain() {
 
   // Create main window.
   const mainWindow = gui.Window.create({});
+  mainWindow.onClose = () => gui.MessageLoop.quit();
   mainWindow.setContentSize({width: 400, height: 250});
   mainWindow.setContentView(createBrowser());
   mainWindow.center();