diff options
Diffstat (limited to 'plugins')
| -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 |