Update coc-settings.json

This commit is contained in:
Julian Ospald 2020-01-09 00:37:34 +01:00
parent 31ad2f7f7a
commit e94bbdb593
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28

View File

@ -5,6 +5,7 @@
"command": "hie-wrapper", "command": "hie-wrapper",
"args": ["--lsp", "-d", "-l", "/home/jule/lang-server.log"], "args": ["--lsp", "-d", "-l", "/home/jule/lang-server.log"],
"rootPatterns": [ "rootPatterns": [
"*.cabal",
"stack.yaml", "stack.yaml",
"cabal.config", "cabal.config",
"cabal.project", "cabal.project",
@ -22,6 +23,6 @@
} }
} }
}, },
"coc.preferences.hoverTarget": "preview", "coc.preferences.hoverTarget": "float",
"suggest.floatEnable": true "suggest.floatEnable": true
} }