Detach panels from neovim instance

whonore / Coqtail

Interactive Coq Proofs in Vim

MIT License

274 stars 35 forks source link

Detach panels from neovim instance #334

Closed Ddystopia closed 8 months ago

Ddystopia commented 10 months ago

Is there a way to detach panels to separate neovim instances? It could be very handy with multiple monitors or when someone uses tiling managers - they are much better at window management then neovim itself.

I've read help but didn't find anything like that.

whonore commented 10 months ago

There isn't currently an option to do that, but it seems like a potentially useful feature. I'll look into it.

whonore commented 9 months ago

As far as I can tell, this isn't currently possible in neovim, but there's some relevant discussion in neovim/neovim#2161 and neovim/neovim#13504. It might be possible to hack something together using vim/neovim's remote editing features (:h client-server), but I think that would be more complicated than I'm willing to try at the moment.

rwmpelstilzchen commented 2 months ago

This might be relevant here. No TUI support yet :-(