From 7c74f3610ffac6b34e8b78fa3eadc5dfc7cce53a Mon Sep 17 00:00:00 2001 From: Michael Peyton Jones Date: Fri, 24 May 2024 12:28:51 +0100 Subject: [PATCH] Fix progress start delay I think I dropped this for testing, but it should be set to what it says it is. --- ghcide/src/Development/IDE/Main.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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