To use this dark theme, just locate and replace the file code_editor.xml file from your MySQL Workbench data directory by this one. Just remember to make a copy of your file BEFORE replacing it.

MySQL Workbench is a cross-platform GUI tool to Manage Database Management System. It allows the database administrator to monitor performance, manipulate user permission, and many other ...