MySQL Bugs: #53605: cannot change font in SQL editor and default is ugly

Bug #53605	cannot change font in SQL editor and default is ugly
Submitted:	12 May 2010 18:11	Modified:	28 May 2010 13:46
Reporter:	Aaron Hagopian	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S3 (Non-critical)
Version:	5.2.21	OS:	Linux (Fedora 12)
Assigned to:	Alfredo Kojima	CPU Architecture:	Any

File:	Maximum allowed size is 50MB.
Description:
Privacy:

If the data you need to attach is more than 50MB, you should create a compressed archive of the data, split it to 50MB chunks, and upload each of them as a separate attachment.

To split a large file:

On *nix platforms use the split command e.g. split -b 50MB <my_large_archive> <my_split_archive_prefix>
On windows use WinZip or a similar utility to split the large file

clean workbench user folder, default editor for me

Attachment: wb1.png (image/png, text), 98.21 KiB.

now up the font size to 12, also tried changing the font to Helvetica, size takes effect but font family ignored (and ugly)

Attachment: wb2.png (image/png, text), 98.01 KiB.

downgraded back to 5.2.20 and fonts looked better

Attachment: wb3.png (image/png, text), 104.00 KiB.