search

Treeniks / isabelle-lsp.nvim

MIT License
11 stars 1 forks source link

Open output panel for new isabelle files, not only on LSP attach #4

Open jvanbruegge opened 2 months ago

jvanbruegge commented 2 months ago

When I open a file with isabelle-lsp the output panel is opened automatically, however if I use e.g. tabnew to open a new file, there is no panel in that tab and there does not seem to be a :OuputPanel command to open it manually

jvanbruegge commented 2 months ago

(Still the fact that you got this to work in neovim at all is very cool, I will try if I can use it for my day work instead of jedit, thanks for that)

Treeniks commented 2 months ago

Thanks for giving it a try and giving me motivation to finally fix those issues. Adding a :OutputPanel command is definitely on my radar (preferably the Language Server would use the same API for State and Output Panels, but currently it does not so it's a little awkward).

At the moment I'm occupied with organizing part of the Maths introductory course at TUM, once that's done next week I'll try to get around to it.