Properly pass argFiles into defaultMain (#1613)

Author: mpickering

src/Ide/Main.hs

@@ -102,7 +102,7 @@ runLspMode lspArgs@LspArguments{..} idePlugins = do
         hPutStrLn stderr "If you are seeing this in a terminal, you probably should have run ghcide WITHOUT the --lsp option!"
 
     Main.defaultMain def
-      { Main.argFiles = if argLSP then Nothing else Just []
+      { Main.argFiles = if argLSP then Nothing else Just argFiles
       , Main.argsHlsPlugins = idePlugins
       , Main.argsLogger = pure hlsLogger
       , Main.argsIdeOptions = \_config sessionLoader ->