Add prefix to built in ghcide command

alanz · alanz · commit b555a6ecb6b5 · 2020-03-21T22:52:34.000Z
diff --git a/exe/Main.hs b/exe/Main.hs
@@ -164,7 +164,7 @@ main = do
         plugins = Completions.plugin <> CodeAction.plugin <>
                   Plugin mempty HoverDefinition.setHandlersDefinition <>
                   ps
-        options = def { LSP.executeCommandCommands = Just commandIds
+        options = def { LSP.executeCommandCommands = Just (pid <> ":typesignature.add":commandIds)
                       , LSP.completionTriggerCharacters = Just "."
                       }
 

Original file line number	Diff line number	Diff line change
`@@ -164,7 +164,7 @@ main = do`
`164`	`164`	`plugins = Completions.plugin <> CodeAction.plugin <>`
`165`	`165`	`Plugin mempty HoverDefinition.setHandlersDefinition <>`
`166`	`166`	`ps`
`167`		`- options = def { LSP.executeCommandCommands = Just commandIds`
	`167`	`+ options = def { LSP.executeCommandCommands = Just (pid <> ":typesignature.add":commandIds)`
`168`	`168`	`, LSP.completionTriggerCharacters = Just "."`
`169`	`169`	`}`
`170`	`170`