diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2023-01-28 10:26:55 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2023-01-28 10:26:55 -0800 |
commit | b936e0f9cf57e2de1e003be2b6c93448e22ca62f (patch) | |
tree | 378cb221fd3354780e7811acf685f6ee6095029d | |
parent | fe7d6c160fb214d92b84984702ff51de83b86d7f (diff) | |
parent | 18f44c97617b6c4a96e10077a805d3fcdf70fba1 (diff) | |
download | view.love-b936e0f9cf57e2de1e003be2b6c93448e22ca62f.tar.gz |
Merge lines.love
-rw-r--r-- | edit.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/edit.lua b/edit.lua index 9c527b4..5f53d2b 100644 --- a/edit.lua +++ b/edit.lua @@ -121,6 +121,8 @@ function edit.quit(State) -- make sure to save before quitting if State.next_save then save_to_disk(State) + -- give some time for the OS to flush everything to disk + love.timer.sleep(0.1) end end |