Fixed #186: F3 and Shift+F3 shortcuts are no longer global in the main window.