Skip to content

WIP: editor-session-addin: skip files that doesn't exist

If the a given file has been either moved, deleted or renamed since last session it will currently be setup as part to session restore. This will leave the user to think its there. Hence, Don't bother restore dead files.

Merge request reports