Closed swrdfish closed 4 years ago
Oooh nice, thanks. I guess we could make the filename just the UUID but given we shouldn't be near any kind of file length limit I like leaving the name in in case it's ever useful for diagnostic purposes.
Yes I agree, the file name should be there for diagnostic purposes 🙂
If you go back and forth between files quickly using go to definition and go back, then extension features like go to definition, hover, etc. stop working. It gets fixed once you close the file and load it back again.
The following changes fixes the problem.