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:closed
  • Created 4 years ago
  • Reactions:4
  • Comments:9 (3 by maintainers)

github_iconTop GitHub Comments

TheoWinterhaltercommented, Mar 25, 2020

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

bergwerfcommented, Mar 25, 2020

Double click to open a file permanently.

On Wed, Mar 25, 2020, 16:06 Andrej Dudenhefner 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, or unsubscribe .

Read more comments on GitHub >

github_iconTop Results From Across the Web

How to fix "corrupted" interactive rebase? - Stack Overflow
I created the head-name file, and then I ran into another error saying it couldn't find the onto file, so I created that...
Read more >
Crash when launching, opening, closing files, or clicking the ...
Issue: When launching the program, opening or saving a file, or clicking a ribbon or menu command in AutoCAD 2010, 2011, 2012, 2013, ......
Read more >
Fixes or workarounds for recent issues in Excel for Windows
Having a problem with your Excel? Check this page for recent issues that we've discovered, and what you can do about them.
Read more >
Why do we need to close files in programming after ... - Quora
When you open a file for reading, it is good practice to close the file because it is a resource your program is...
Read more >
C Files I/O: Opening, Reading, Writing and Closing a file
Creating a new file; Opening an existing file; Closing a file; Reading from and writing information to a file. Working with files. When...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Post

No results found

github_iconTop Related Hashnode Post

No results found