diff --git a/ghcide/src/Development/IDE/Main.hs b/ghcide/src/Development/IDE/Main.hs index 7424b4b371..2c365475d0 100644 --- a/ghcide/src/Development/IDE/Main.hs +++ b/ghcide/src/Development/IDE/Main.hs @@ -242,7 +242,7 @@ defaultArguments recorder plugins = Arguments { LSP.optCompletionTriggerCharacters = Just "." -- Generally people start to notice that something is taking a while at about 1s, so -- that's when we start reporting progress - , LSP.optProgressStartDelay = 1_00_000 + , LSP.optProgressStartDelay = 1_000_000 -- Once progress is being reported, it's nice to see that it's moving reasonably quickly, -- but not so fast that it's ugly. This number is a bit made up , LSP.optProgressUpdateDelay = 1_00_000