Description
The dynamically generated menu of recent files used to show the filename only if unique (full path shown in tooltip). If not unique, the least prefix that makes it unique was added. This is not the case any more. Instead, parentheses occur (in parentheses actually seems to be the part of the path that would be unique) and the whole absolute path is shown. Compare the screenshot:
(Note: The longest line is due to the actual filename being very long, and I think there is no really good solution for this problem. However, without the directory prefix it would be shorter.)
In addition, when loading an example shipped with KeY (i.e., a file from inside the jar), it is unzipped into a temp directory. The menu entry refers to this now. Since the entries are persisted in a settings file, and the latest after reboot the temp files are deleted typically, the menu entries point to non-existing files sooner or later.
Maybe it would make sense to switch menu to use URLs instead of paths? SourceView and IssueDialog do that, so the information should be there.
Reproducible
always (at least when starting KeY via the shadow jar, observed to not occur when starting via gradle)
Description
The dynamically generated menu of recent files used to show the filename only if unique (full path shown in tooltip). If not unique, the least prefix that makes it unique was added. This is not the case any more. Instead, parentheses occur (in parentheses actually seems to be the part of the path that would be unique) and the whole absolute path is shown. Compare the screenshot:
In addition, when loading an example shipped with KeY (i.e., a file from inside the jar), it is unzipped into a temp directory. The menu entry refers to this now. Since the entries are persisted in a settings file, and the latest after reboot the temp files are deleted typically, the menu entries point to non-existing files sooner or later.
Maybe it would make sense to switch menu to use URLs instead of paths? SourceView and IssueDialog do that, so the information should be there.
Reproducible
always (at least when starting KeY via the shadow jar, observed to not occur when starting via gradle)