How to change MySQL Workbench interface font size?

Please note: interface, not editor fonts.

Workbench 6.3 on Windows 8.1

Solution

That's not possible. Some places use the system font size (especially standard controls) and many others have hard coded font sizes.

MySQL Workbench auto increment disabled
How can I add SRID 4326 (Spatial Types) to Workbench when adding columns?
MySQL Workbench not showing Apply and Revert buttons while creating a table
MySQL workbench table data import wizard extremely slow
How to make a field NULL using MySQL GUI Tools?
Importing CSV using MySQL Workbench. Not all records imported
SQL SELECT query not working in mysql
A column in a table is referred to by multiple physical column names
How can I find the longest number of consecutive nulls in a column in MySQL?
Error Code: 2013. Lost connection to MySQL server during query
Insert values into auto identity column in MySQL
MySQL Workbench Cannot Connect to Database Server
Can't set foreign key relationship
Overview of all databases that exist in MySQL server
MySQL Workbench Import NULL from CSV
Error when creating function in MySQL Workbench
mysql duration and fetch time
mysql could not connect the SSH tunnel -> access denied for 'none'
I can't select a column to specify a foreign key
Integration between MS Outlook and MySQL
MySQL Workbench - Modify database tables with records
Error "Column count doesn't match value count at row 1" on table insert query in MySQL
MySQL Workbench crashes on mac os (fresh install)
MySQL Workbench: Beautify/Reformat option doesn't work when I write stored procedures
Add days to date without using adddate
Failed to connect to MySQL at 127.0.0.1 in MySQL Workbench. System error 61
Forward Engineer not creating tables from Model in MySQL Workbench
MySQL connection with advanced attributes such as program_name
Confusion using regexp in mysql to match a string
OSX: Unable to open mysql workbench main window after closing it