diff options
author | Francesco Abbate <francesco.bbt@gmail.com> | 2020-12-16 14:06:03 +0100 |
---|---|---|
committer | Francesco Abbate <francesco.bbt@gmail.com> | 2020-12-16 14:06:03 +0100 |
commit | 26f3eb73adf678526d0ec35ea556df89461e96a4 (patch) | |
tree | 79753a830e17f1b74d88abe0cab0064912c81083 /plugins/workspace.lua | |
parent | eae34e5b7863bf5fa0db3bf133fb9b2b667266fd (diff) | |
download | lite-xl-plugins-26f3eb73adf678526d0ec35ea556df89461e96a4.tar.gz lite-xl-plugins-26f3eb73adf678526d0ec35ea556df89461e96a4.zip |
Fix workspace plugin to work with core:restart
Diffstat (limited to 'plugins/workspace.lua')
-rw-r--r-- | plugins/workspace.lua | 6 |
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 |