`Programming Exercise`: Open files should not be closed when the repository changes
terlan98 opened this issue · 0 comments
terlan98 commented
When the repository is changed, if the file that is currently being viewed exists in the new repo, it should not be closed. Instead, its content should be updated.
Current state:
repo_change.mov
This suggestion was given during the user study.