Interactive popups close when entering nested popups

[gebner]

1. Call :LeanTermGoal twice, this opens a floating window and moves the cursor into it.
2. Open a nested popup and move the cursor into the nested popup. (requires Lean 4)
3. The floating window disappears and the nested popup moves to the top-left corner.

This is probably due to this change in neovim 0.6: neovim/neovim#16557 I'm not sure what the best solution is, but we might need to roll our own floating windows.

[Julian]

I didn't read carefully through that, but:

however currently there is no option to disable the behavior of closing the floating window on leaving the buffer, but I can add it if you need it.

I think we want to ask for that then?

[gebner]

Thanks for asking! I wasn't sure if "leaving the buffer" means "leaving the parent buffer" or "leaving the buffer for the floating window".