"Reload" loads the wrong file

[wadoon]

Description

The "Reload" action (File -> Reload or C-r) does not load the last opened proof sometimes.

The action loads the first file in the "Most recent file" menu. The first file does not have to be the last opened file, as a rearrangement of files is missed if the file is already in the list.

Solution

The "Most recent file" menu should reflect the history of the opened file. If a file is opened, it should be in the first place of the list. This requires removing and adding it up front.

Reproducible

Is the issue reproducible?
always

Steps to reproduce

Describe the steps needed to reproduce the issue.

1. Open two arbitrary KeY files A.key, and B.key.
2. Open A.key again.
3. The order in the "Most recent files" menu is [B.key, A.key, …].
4. Hitting "File -> Reload" now loads B.key again.

What is your expected behavior and what was the actual behavior?

File "A.key" is loaded instead and the MRF menu order is [A.keY, B.key, …]