We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
auto_refresh_time_delay
1 parent f73700d commit 73a99f1Copy full SHA for 73a99f1
stdlib/REPL/src/options.jl
@@ -47,7 +47,7 @@ Options(;
47
auto_indent_tmp_off = false,
48
auto_indent_bracketed_paste = false,
49
auto_indent_time_threshold = 0.005,
50
- auto_refresh_time_delay = Sys.iswindows() ? 0.05 : 0.0,
+ auto_refresh_time_delay = 0.0, # this no longer seems beneficial
51
hint_tab_completes = true,
52
iocontext = Dict{Symbol,Any}()) =
53
Options(hascolor, extra_keymap, tabwidth,
0 commit comments