aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrancesco Abbate <francesco.bbt@gmail.com>2021-01-09 19:29:47 +0100
committerFrancesco Abbate <francesco.bbt@gmail.com>2021-01-09 19:29:47 +0100
commit7789a25a435e3f3e1110997ace1feb51642d6f94 (patch)
treeaa7b228418f60d4a13576885f7c5ee1d5b4a9112
parent5bc20211efd20f6a531990f8c99158b408a97b9f (diff)
parent26f3eb73adf678526d0ec35ea556df89461e96a4 (diff)
downloadlite-xl-plugins-7789a25a435e3f3e1110997ace1feb51642d6f94.tar.gz
lite-xl-plugins-7789a25a435e3f3e1110997ace1feb51642d6f94.zip
Merge remote-tracking branch 'franko/master'
-rw-r--r--plugins/workspace.lua6
1 files 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