It seems that the F9 key is hardcoded to action "Execute Selected". However, the "Configure shortcuts" screen shows another shortcut:
In my config Win+F9 is reserved globally by another app, and so it really annoys me. The tool triggers execution of everything on the current tab.
As a workaround, I was trying to assing the "F9" to any other action, like "About...". It does not work. There is an exception in the log:
java.lang.NullPointerException
at workbench.gui.settings.ShortcutEditor.findKey(ShortcutEditor.java:517)
at workbench.gui.settings.ShortcutEditor.assignKey(ShortcutEditor.java:438)
at workbench.gui.settings.ShortcutEditor.actionPerformed(ShortcutEditor.java:330)
Any ideas?
Regards,
Vitaly