I can't find any reason why the event filtering was halting further event handling w/ a true here. In any case removing it fixes
bug #658
revert
r67e257b98422 to close out
bug #660. shift-f1 is even more undiscoverable than a tooltip for this important piece of info, and wasn't printing the name for me either.
Oh, dudes :(
(reduce number of hacks; see, is it terribly hard to do it properly?)