Bug report

[John Bloom]

ctrl+O to open the file explorer, change the name of a file, then try to open it. It doesn’t work

[Alan Kilborn]

That list of steps works fine to open a (renamed) file for me; is there more to it that perhaps you aren’t stating?

[John Bloom]

change the name of the file, press enter to save the new name, then press enter again to open it

[Claudia Frank]

@John-Bloom

as far as I remember this was an issue with the windows file dialog.
The same should happen if you use MS notepad. You need to reselect the file
after you have renamed it.

@Alan-Kilborn
This doesn’t affect linux users :-D

Cheers
Claudia