drracket
drracket copied to clipboard
Automatically reload changed files option not working
https://user-images.githubusercontent.com/34615798/132786676-41412862-7452-48d3-85bd-981d2b5a89da.mp4
No matter which of the 3 options I pick in the "Automatically Reload Changed Files" option, it doesn't seem like racket auto reloads changed files from a different editor until you run the file, so I'm confused about this setting. I am also confused by "Revert" and "ignore as I'm not going back to an old file version, I'm wanting to go forward, so I suggest changing this to "Update" or "Reload".
Probably best if I removed this option on master; there is a branch with some work in progress here but there are still bugs (something goes wrong with the interaction with file saving in the teaching languages I'm pretty sure and there may just be other bugs in the actual functionality too, which is in the racket/gui repo).
I think reloading a file on file system changes is an important feature, since with git you often change the file on disk (switching branches/reverting changes in the working copy) and you usually want those changes reflected in your IDE. Two suggestions/observations:
- It would be great if running the file adds an option for overwriting the file on disk with the version from DrRacket in addition to ignoring the change or loading the changed version from disk.
- I noticed that the dialog which opens when you save a file from DrRacket only allows you to overwrite the on disk version, not reload them like run does. It would be nice to have the option to reload the file as well.