From 4116b1e84dd4baa23fd8a8d067dcc506aad42c2a Mon Sep 17 00:00:00 2001 From: Kristoffer Carlsson Date: Mon, 13 Oct 2025 12:34:29 +0200 Subject: [PATCH 1/2] set the `auto_refresh_time_delay` to 0 on Windows as well --- stdlib/REPL/src/options.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdlib/REPL/src/options.jl b/stdlib/REPL/src/options.jl index 1fb2c654c7df2..127cd495c51f6 100644 --- a/stdlib/REPL/src/options.jl +++ b/stdlib/REPL/src/options.jl @@ -47,7 +47,7 @@ Options(; auto_indent_tmp_off = false, auto_indent_bracketed_paste = false, auto_indent_time_threshold = 0.005, - auto_refresh_time_delay = Sys.iswindows() ? 0.05 : 0.0, + auto_refresh_time_delay = 0.0 # this no longer seems beneficial hint_tab_completes = true, iocontext = Dict{Symbol,Any}()) = Options(hascolor, extra_keymap, tabwidth, From 9e9ddf90e8248e458688fe65e57eda54700a3034 Mon Sep 17 00:00:00 2001 From: Kristoffer Carlsson Date: Tue, 14 Oct 2025 11:40:31 +0200 Subject: [PATCH 2/2] comma --- stdlib/REPL/src/options.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdlib/REPL/src/options.jl b/stdlib/REPL/src/options.jl index 127cd495c51f6..505e761a04a1e 100644 --- a/stdlib/REPL/src/options.jl +++ b/stdlib/REPL/src/options.jl @@ -47,7 +47,7 @@ Options(; auto_indent_tmp_off = false, auto_indent_bracketed_paste = false, auto_indent_time_threshold = 0.005, - auto_refresh_time_delay = 0.0 # this no longer seems beneficial + auto_refresh_time_delay = 0.0, # this no longer seems beneficial hint_tab_completes = true, iocontext = Dict{Symbol,Any}()) = Options(hascolor, extra_keymap, tabwidth,