From 9cc2613818315266e1a4daec63c7f0e81ba5feb1 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Tue, 15 Oct 2024 22:52:23 +0200
Subject: [PATCH] fix: double syntax_refresh_update_time

---
 src/tui/editor.zig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tui/editor.zig b/src/tui/editor.zig
index 715a201..71a279f 100644
--- a/src/tui/editor.zig
+++ b/src/tui/editor.zig
@@ -36,7 +36,7 @@ const scroll_step_small = 3;
 const scroll_cursor_min_border_distance = 5;
 
 const double_click_time_ms = 350;
-const syntax_refresh_update_time = 5; // ms
+const syntax_refresh_update_time = 10; // ms
 
 pub const max_matches = if (builtin.mode == std.builtin.OptimizeMode.Debug) 10_000 else 100_000;
 pub const max_match_lines = 15;