debounce write to improve responsiveness

2026-08-14 09:59:48 +00:00 · 2021-07-15 11:50:03 +02:00
parent de73572d4e
commit 5a32f8ec48
3 changed files with 39 additions and 7 deletions
@@ -11,7 +11,8 @@ config.options = {
 	},
    write_all_buffers = false,
    on_off_commands = false,
-	clean_command_line_interval = 0
+    clean_command_line_interval = 0,
+    debounce_delay = 140
 }

 function config.set_options(opts)