Shortcut for renaming files

[thetek43]

Is your feature request related to a problem? Please describe.
In Windows Explorer, you can easily rename files by pressing "F2".

Describe the solution you'd like
When I press "F2", I should be able to rename the file

[thetek43]

It doesn't work when the "double tap to rename" feature is off. When it is on, it does.

[yaira2]

Merging with #651.