0

¿Title seems contradictory? Let me explain. I did find how to customize Workbench shortcuts, for example in the following link: Customizing Keyboard Shortcuts in MySql Workbench.

I think it was the update of the Workbench, or the whole going to Ubuntu 14.10, after which the modified shortcuts stopped working. If I open the file main_menu.xml, I can see the shortcuts are indeed modified the way I want them to be, but the program won't recognize them and uses the default ones.

Would anyone know how to fix this? Please help.

Community
  • 1
  • 1
Diego-MX
  • 2,279
  • 2
  • 20
  • 35
  • Seems to work from what I see. Can you file a bug report at http://bugs.mysql.com? Add your xml file in the report. – Mike Lischke Nov 28 '14 at 08:54
  • Thanks (I always avoid filing bugs =S ) http://bugs.mysql.com/bug.php?id=75044&files=1 – Diego-MX Nov 28 '14 at 17:12
  • I can understand that people are reluctant, as they want a solution, not just tell a problem. But that's the only way for author to hear about the problems and have them properly scheduled to fix them. – Mike Lischke Nov 29 '14 at 09:40
  • Of course. That's how to get involved. =) – Diego-MX Nov 29 '14 at 18:14

0 Answers0