search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

renaming open files #84

Closed ghost closed 5 years ago

ghost commented 5 years ago

It seems like, whenever I rename an open file and try to load it, the package reports: getModificationTime:getFileStatus: does not exist (No such file or directory)

It’s easy to work around this by closing the file (either before or after renaming), and then opening it again (only after renaming).

banacorn commented 5 years ago

Fixed in the ocaml branch, please wait until it lands on master :D.

banacorn commented 5 years ago

Landed in v0.9.0!