MySQL Forums
Forum List  »  MySQL Workbench

Advanced Search
New Topic

Re: MySQL Workbench editor highlighted text color
Posted by: Mike Lischke
Date: April 04, 2018 12:53AM

The selection color comes from the OS. There are a number of standard colors that are retrieved from the current OS (taking the current theming into account where supported). You cannot change these colors using that xml file.

Mike Lischke, MySQL Developer Tools
Oracle Corporation

MySQL Workbench on Github: https://github.com/mysql/mysql-workbench
On Twitter: https://twitter.com/MySQLWorkbench
On Slack: mysqlcommunity.slack.com (#workbench)
Report bugs to http://bugs.mysql.com
MySQL documentation can be found here: http://dev.mysql.com/doc/refman/8.0/en/

Navigate: Previous Message• Next Message
Options: Reply• Quote


Subject
Views
Written By
Posted
MySQL Workbench editor highlighted text color
7393
Nate Jensen
April 03, 2018 06:51AM
Re: MySQL Workbench editor highlighted text color
2029
Mike Lischke
April 04, 2018 12:53AM
Re: MySQL Workbench editor highlighted text color
1387
Nate Jensen
April 04, 2018 07:50AM


Sorry, you can't reply to this topic. It has been closed.

Content reproduced on this site is the property of the respective copyright holders. It is not reviewed in advance by Oracle and does not necessarily represent the opinion of Oracle or any other party.