enable dirtiness tracking by default

Author: pepeiborra

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