enable dirtiness tracking by default

pepeiborra · May 17, 2021 · 6684868 · 6684868
1 parent 9f0978f
commit 6684868
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ghcide/src/Development/IDE/Main.hs b/ghcide/src/Development/IDE/Main.hs
@@ -148,7 +148,7 @@ instance Default Arguments where
         , argsGhcidePlugin = mempty
         , argsHlsPlugins = pluginDescToIdePlugins Ghcide.descriptors
         , argsSessionLoadingOptions = def
-        , argsIdeOptions = const (defaultIdeOptions False)
+        , argsIdeOptions = const (defaultIdeOptions True)
         , argsLspOptions = def {LSP.completionTriggerCharacters = Just "."}
         , argsDefaultHlsConfig = def
         , argsGetHieDbLoc = getHieDbLoc