Skip to content

Commit 47d896c

Browse files
committed
fix ghcide options
1 parent 82bfab3 commit 47d896c

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/Ide/Main.hs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -130,7 +130,7 @@ runLspMode recorder ghcideArgs@GhcideArguments{..} idePlugins = withTelemetryLog
130130
, IDEMain.argsHlsPlugins = IDEMain.argsHlsPlugins args <> idePlugins
131131
, IDEMain.argsLogger = pure logger <> pure telemetryLogger
132132
, IDEMain.argsThreads = if argsThreads == 0 then Nothing else Just $ fromIntegral argsThreads
133-
, IDEMain.argsIdeOptions = \_config sessionLoader ->
134-
let defOptions = Ghcide.defaultIdeOptions sessionLoader
133+
, IDEMain.argsIdeOptions = \config sessionLoader ->
134+
let defOptions = IDEMain.argsIdeOptions args config sessionLoader
135135
in defOptions { Ghcide.optShakeProfiling = argsShakeProfiling }
136136
}

0 commit comments

Comments
 (0)