Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Bug: closing a file and re-opening it breaks interaction

See original GitHub issue

When I open a file interpret to the end, close it, and open again, then interaction is no longer working. When I press Alt + down it goes back to the file I was previously working on. If this is not reproducible I can provide an example. I use a _CoqProject.

Issue Analytics

State:
Created 4 years ago
Reactions:4
Comments:9 (3 by maintainers)

Top GitHub Comments

1reaction

TheoWinterhaltercommented, Mar 25, 2020

Or “save” (<kbd>Ctrl</kbd> + <kbd>S</kbd>) in the tab (even without having made any change).

1reaction

bergwerfcommented, Mar 25, 2020

Double click to open a file permanently.

On Wed, Mar 25, 2020, 16:06 Andrej Dudenhefner notifications@github.com wrote:

This bug is quite troublesome because clicking a file once (and interpreting a part of it) opens it temporarily and then closes it as soon as another file is clicked. After that one cannot reopen the closed file for interaction anymore.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/coq-community/vscoq/issues/120#issuecomment-603893094, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABCATVJP4RAHPQUINQUHAUDRJIMVZANCNFSM4LD3JJTA .