![dark basic pro with mysql dark basic pro with mysql](https://i.ytimg.com/vi/CRWSEww9pgE/maxresdefault.jpg)
![dark basic pro with mysql dark basic pro with mysql](https://i.ytimg.com/vi/zPAbQn75GkI/maxresdefault.jpg)
Some of the great features include: + Intellisense/SQL autocompletion. If you are using a new version (8.0 as today) look for comment in this very page. SQLPro for MySQL is a lightweight but powerful MySQL and MariaDB database client, which allows quick and simple access to MySQL/MariaDB Servers including cloud services such as Amazon RDS, Microsoft Azure and Digital Ocean. This answer referred to MySQL Workbench 6.3 and is outdated.
![dark basic pro with mysql dark basic pro with mysql](https://img.youtube.com/vi/iXT3BRiAB0Q/maxresdefault.jpg)
Remember to paste all these styles inside of the tag in data > code_editor.xml.Įdit: Advise: This answer is old and a better solution can be found in this same page.
#Dark basic pro with mysql how to
Here's how to get a dark editor (not whole application theme) based on the Monokai colours provided graciously by elMestre: What was once fore-color has now been split into fore-color-light and fore-color-dark. Here's the complete list for MySQL (scintilla has thousands of styles for many languages) with my configuration: īased on Gunther's answer, it seems like in code_editor.xml they're planning to enable a dark mode at some point down the road. The one that is used for the background color is style id 32. MySQL Workbench uses scintilla as the code editor, and scintilla defines a few more styles that you can use in the code_editor.xml file. Below you will find valuable resources including case studies and white papers that will help you implement cost-effective database solutions using MySQL. Here you'll find a lot of styling for different code elements, but there are some missing. Open the XML file called code_editor.xml located in the data folder of the MySQL Workbench's installation directory (usually C:\Program Files\MySQL\MySQL Workbench 6.3 CE\data). Here's how to change MySQL Workbench's colors (INCLUDING THE BACKGROUND COLOR).