[GitHub] [daffodil-vscode] lrbarber commented on issue #576: Handle changes made to an edited file done outside the editor instance

["lrbarber (via GitHub)" <gi...@apache.org>]

lrbarber commented on issue #576:
URL: https://github.com/apache/daffodil-vscode/issues/576#issuecomment-1505973540

   Does this issue really propose to remove all my edits if someone else changes the original file on disk?!
   Perhaps it should merely give a notice and/or block `file save` and force the use of `save as`


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@daffodil.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org