The worst part of it is that it’s basically a dead end: you can’t do anything until you close the editor and open it again. I’d already agree to go for “recompile all and lose something” but not “quit and reopen the whole thing” - this feels very…desperate.