I find it terribly annoying that MySQL Workbench 5.2.42 doesn't adhere to platform standard shortcut keys. For instance, in Windows Ctrl+F4 is supposed to be closing a tab. But it's Ctrl+W (http://dev.mysql.com/doc/workbench/en/wb-keys.html)
Can these shortcut keys be configured somewhere so that I can set them right?
Can these shortcut keys be configured somewhere so that I can set them right?