racket / drracket

DrRacket, IDE for Racket
http://www.racket-lang.org/
Other
452 stars 94 forks source link

Automatically reload changed files option not working #506

Open jestarray opened 3 years ago

jestarray commented 3 years ago

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".

rfindler commented 3 years ago

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).

dariusarnold commented 1 year ago

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: