MySQL Forums
Forum List  »  MySQL Workbench

Re: icon/menu size
Posted by: Mike Lischke
Date: June 28, 2016 01:24AM

Hi Nathaniel,

unfortunately, there is no other setting than what you see in the preferences pane. We are aware of the need to allow more font customization, also in the light of upcoming hi-res 4k/5K monitors. But it'll take time until this will be implemented.

Mike

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/

Options: ReplyQuote


Subject
Views
Written By
Posted
1999
June 27, 2016 10:10AM
Re: icon/menu size
755
June 28, 2016 01:24AM


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.