Undo not working with idris response window

[martinsson]

Hi,

The undo command works as expected as long as I don't open the idris response window _i

When I do it still works as long as i don't reload the file _r. When I do the history is lost. Any ideas?

Disclaimer: I'm new to vim

[bkushigian]

I have this issue regardless of whether the response window is open.

Edit: Correction: I have this issue when I have opened the response window and then closed it. It doesn't appear if I've never opened the response window.