automatic reload when file changes externally

It would be great if it were detected when the file you are editing has been changed externally, and if possible, automatically reload the file. I imagine it could work similarly to vim and kakoune, i.e. if there are no modifications that have yet to be written, just reload the file, and treat it as a single modification that can be undone. If there are modifications that haven't been written yet, prompt the user about what they would like to do: * Ignore the changes, keep that's in the editor buffer, and let a write happen over the external change, whatever it was * Reload the file anyway, essentially "adding" to the unsaved changes

Posted by dead10ck on Nov 18, 2021, 4:51 AM

Tags

• github (Other)

Related issues

• struct's lifetime requirements can be bypassed via covariant field assignment
• Proposal to Reorganize the Moderation Team and Review Moderation Policies
• Progressive FPS degradation appears to be related to dota2.com — blocking the domain prevents the performance loss
• proposal: container/...: generic collection types
• Better Custom Endpoint BYOK
• A concrete policy for backward compatibility until Godot 5.0