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

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

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

   @lrbarber, yes.  The issue is that the changes are done with respect to the file in disk at the time the session is started.  If for some reason that file changes outside of the session, the in-flight edits are invalid and disposed of.
   
   There may be a way around it, like squirrel a copy of the file being edited away so that we have some recovery options available if the original file changes outside of a session.


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