BUG: don't work Ctrl+Enter after F3 on directory

If use F3 on directory for calculating directory size, after this do not work Ctrl+Enter for pasting current file or directory name.

Thanks for your post. This issue has been added to tracker.