From 26f3eb73adf678526d0ec35ea556df89461e96a4 Mon Sep 17 00:00:00 2001
From: Francesco Abbate <francesco.bbt@gmail.com>
Date: Wed, 16 Dec 2020 14:06:03 +0100
Subject: Fix workspace plugin to work with core:restart

---
 plugins/workspace.lua | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/plugins/workspace.lua b/plugins/workspace.lua
index 028e0a2..822291b 100644
--- a/plugins/workspace.lua
+++ b/plugins/workspace.lua
@@ -152,10 +152,10 @@ function core.run(...)
   if #core.docs == 0 then
     core.try(load_workspace)
 
-    local exit = os.exit
-    function os.exit(...)
+    local original_on_quit = core.on_quit
+    function core.on_quit()
       save_workspace()
-      exit(...)
+      original_on_quit()
     end
   end
 
-- 
cgit v1.2.3