MySQL Bugs: #59721: Font too small in edit tabs

Bug #59721	Font too small in edit tabs
Submitted:	25 Jan 2011 18:53	Modified:	8 Feb 2011 16:40
Reporter:	Adam Lanier	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S2 (Serious)
Version:	5.2.31	OS:	Linux (Fedora 14)
Assigned to:		CPU Architecture:	Any

Description:
The font in scratch and SQL query tabs are too small to be read.

Changing the font and/or font size in Preferences | Appearance | Fonts makes no difference in size in tabs.

Deleted $HOME/.mysql preference directory and restarted Workbench in hopes that the defaults would provide better results.  

Pressing Ctrl and + does increase the font size of the line number in the left-hand gutter of the script tab but does not increase the font size of the script text itself.

How to repeat:
open a scratch or query tab

Suggested fix:
Provide better default font selection and/or correct the font selection dialog

Hi Adam,
could you provide a screenshot of your situation? What is set as font for Editor in Preferences->Appearance? I tried to reproduce your problem, but here the default font looks ok (its set to Bitstream Vera Sans Mono 11) and also pressing Ctrl+[+] does increase both, the gutter and the content-text-size.
please also add the output of your Workbench's Help->system info
thanks in advance

MySQL Workbench CE for Linux/Unix version 5.2.31
Configuration Directory: /home/adam/.mysql/workbench
Data Directory: /usr/share/mysql-workbench
Cairo Version: 1.10.2
Rendering Mode: OpenGL is not available on this system, so Native is used for rendering.
OS: Linux 2.6.35.10-74.fc14.x86_64
CPU: 4x Intel(R) Core(TM)2 Quad CPU    Q8400  @ 2.66GHz 2000.000 MHz, 7.5 GB RAM

What value do you have for the Editor font in preferences? Try setting it to !Bitstream Vera Sans 10
and reopen the editor. (the  ! before the font name is important)

Just saw your 2nd sshot, you need to prepend the font name for Editor (only editor, not the others) with a !. This obscurity was fixed in repository, but you need to use it in 5.2.31 and before.

Awesome, that was the trick.  Thanks.

Is this publicly documented anywhere?