We're updating the issue view to help you get more done.
See the old view
F7 keyboard shortcut for New Folder conficts with remote connections
F7 ist used as a shortcut for "New folder", as a result the user cannot use F7 when working on a remote computer. IMHO F7 is much more often used when working remotely as to create the folders
1.73 Beta 1