MySQL Forums
Forum List  »  MySQL Workbench

Re: Font size in MySQL Workbench
Posted by: Mike Lischke
Date: September 10, 2013 01:33AM

Marian,

there's no single font size to set in WB. And not every font in the application can be customized (e.g. menu and toolbar strings are at system size).

So, which font would you especially increase in size? Note that most of the font changes require a restart/reopen of the part that uses them.

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
3076
September 09, 2013 07:53AM
Re: Font size in MySQL Workbench
1158
September 10, 2013 01:33AM
988
September 11, 2013 09:46AM


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.