Matthieu Coudron

Results 207 issues of Matthieu Coudron

**Is your feature request related to a problem? Please describe.** I've been trying to configure stan (https://kowainik.github.io/projects/stan) on my haskell codebase. The program needs the `*.hie` file generated by -fwrite-ide-info....

type: feature request
P3

**Is your feature request related to a problem? Please describe.** I am trying to list licenses of our internal different bazel dependencies. Turns out bazel looks like a mess in...

type: feature request
P3

Already discussed on irc but it popped up again and I don't know when I can tackle it: a keybinding using '

I am adding support for astroid in home-manager https://github.com/rycee/home-manager/pull/408 (i.e., home-manager will generate astroid config file). My first approach was to copy the default config into home-manager and change some...

I would like for the popup menu created via `map call quickui#context#open(content, quick_opts)` to appear where I click with `mousemodel=popup_setpos`. Is this a vim-quickui or (neo)vim limitation ?

hi, love this plugin. Rather than starting from scratch is there a way to autofill some widgets with the content ot `:menu` ? for instance in neovim you can retreive...

I am packaging this plugin for nixos but the errors `Please install the necessary requirements: https://github.com/JamshedVesuna/vim-markdown-preview#requirement` is too little. Seems like it fails to start grip even though I have...

I am surprised not to find an issue already opened since stan dies regurlaly I call it on a several thousand line projets ``` $ stan report --hiedir=/home/teto/.cache/ghcide/main-2d340f680c4d95b43cd7de12b6004129b058bf21 ⓘ Checking...

When starting stan I get `No CLI option specified for no-default` and I am not sure how to make that warning disappear, eg: ``` ⓘ Checking environment variables and CLI...

hi, This may be more of a support question than a bug but here is my scenario: I have cursorline enabled but my current hardcoded color for "CursorLine" is too...