Skip to content

Commit e32468d

Browse files
authored
Fix progress start delay (#4249)
I think I dropped this for testing, but it should be set to what it says it is.
1 parent 7b1021d commit e32468d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ghcide/src/Development/IDE/Main.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -242,7 +242,7 @@ defaultArguments recorder plugins = Arguments
242242
{ LSP.optCompletionTriggerCharacters = Just "."
243243
-- Generally people start to notice that something is taking a while at about 1s, so
244244
-- that's when we start reporting progress
245-
, LSP.optProgressStartDelay = 1_00_000
245+
, LSP.optProgressStartDelay = 1_000_000
246246
-- Once progress is being reported, it's nice to see that it's moving reasonably quickly,
247247
-- but not so fast that it's ugly. This number is a bit made up
248248
, LSP.optProgressUpdateDelay = 1_00_000

0 commit comments

Comments
 (0)