`Programming Exercise`: Switching files after browsing a different repository leads to a crash

[terlan98]

Requirements:

• 1 assessment with inline feedbacks

Steps to reproduce:

1. Change to solution or template repo
2. Change back to the student repo
3. Tap on inline feedbacks on the correction sidebar to open files containing inline references
4. Notice that the filetree does not highlight the currently open file
5. Tap on the currently open file name on the file tree
6. Notice that the code editor is stuck with the 'Loading..." text
7. Tap on any other file on the file tree
8. 💥

repository_crash.mov

Switching between repos somehow makes the file tree detached from the correction sidebar and it becomes unaware of which files are currently open.

This bug was found during the user study.