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

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