How to customize the coq goals panel？

[Allen191819]

Now when I enter neovim, the coq goals panel automatically appears. Can I turn auto-on off in the setup configuration？Or can I customize the width and position of that panel in the setup configuration? Thanks!

[tomtomjhj]

Can I turn auto-on off in the setup configuration？

You can unset "autostart" option from lspconfig. Please see the updated readme.

But this might not be what you really want. It requires you to manually run :LspStart to launch coq-lsp for the first time, but once coq-lsp has started, it will automatically attach new coq buffers.

There are two possible design choices for improvements.

• Option for disabling "auto-attach": This may require quite a bit of work because the current behavior is the intended behavior of lspconfig.
• Option for disabling automatically opening the panel: Don't bother with attaching, and just let the user manually open the panel. Implementing this is easier.

Or can I customize the width and position of that panel in the setup configuration?

Currently, there is no option for this. I will add it soon-ish.