Undo not working with idris response window

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Undo not working with idris response window #86

Open martinsson opened 6 years ago

martinsson commented 6 years ago

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 commented 5 years ago

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.