MySQL Bugs: #70388: Unable to change font in query result window

Bug #70388	Unable to change font in query result window
Submitted:	20 Sep 2013 15:38	Modified:	21 Aug 2014 2:02
Reporter:	Anna Nicotera	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench	Severity:	S3 (Non-critical)
Version:	6.0.7	OS:	Windows
Assigned to:		CPU Architecture:	Any
Tags:	change font workbench query result

Description:
Currently, the Appearance tab in MySQL workbench (Menu Edit-->Preferences) only allows for changing the fonts and sized for the SQL Editor window, but not the result window.  The font size for the query result is too small in the desired and recommended resolution for my monitor.  It is quite difficult to read the results.  It would be very helpful if you allow for the query results to have its own font settings as well.

How to repeat:
Go to MySQL workbench (Menu Edit-->Preferences) and click on Appearance tab. There is no way to change fonts on the query result window, only the editor window.

Please try 6.0.7 version. Thanks.

Do not see font setting for result window

Attachment: MysqlBug70388.jpg (image/jpeg, text), 335.04 KiB.

Thanks Godofredo.
I updated to 6.0.7 and I still do not see the settings for changing the fonts for the result window.  Please see attachment.  Let me  know if I am missing something and also where to find the settings for the result window, if it really is available.

Thank you for the feedback.

Posted by developer:
 
Added a new configuration option for changing the resultset font

Using 6.1.6 and I also can't change the font size of the query result. Only the query editor.

Using Windows 8.1.

Posted by developer:
 
fix verified in 6.2.1

Fixed as of the MySQL Workbench 6.2.0 release, and here's the changelog entry:

A new configuration option was added to configure the font in the results
view window.

Thank you for the bug report.