fix: double syntax_refresh_update_time

This commit is contained in:
CJ van den Berg 2024-10-15 22:52:23 +02:00
parent d10656b433
commit 9cc2613818
Signed by: neurocyte
GPG key ID: 8EB1E1BB660E3FB9

View file

@ -36,7 +36,7 @@ const scroll_step_small = 3;
const scroll_cursor_min_border_distance = 5; const scroll_cursor_min_border_distance = 5;
const double_click_time_ms = 350; 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_matches = if (builtin.mode == std.builtin.OptimizeMode.Debug) 10_000 else 100_000;
pub const max_match_lines = 15; pub const max_match_lines = 15;