Now, if I select some item in the result list, either by mouse click or by keyboard arrow keys, this shortcut
- sometimes copies the correct filename, but
- sometimes a different one (nonselected in the result list, it seems that a random one).
(The "Copy Name" item from the context menu always behaves correctly.)
(Everything 1.5.0.1403a 64-bit, Windows 7.)