MySQL Bugs: #25766: Query text displays in huge font

Bug #25766	Query text displays in huge font
Submitted:	22 Jan 2007 22:35	Modified:	24 Jan 2007 10:23
Reporter:	Jared S (Silver Quality Contributor)	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Query Browser	Severity:	S3 (Non-critical)
Version:	1.2.9	OS:	NT6.0
Assigned to:	Mike Lischke	CPU Architecture:	Any
Tags:	font, huge, query browser, query text

Description:
Hi,  When logged onto windows user that did not install GUI-TOOLS, the text in Query edit tab is gigantic!

How to repeat:
1. Install GUI-TOOLS 1.2.9
2. Create new windows account or logon to windows as Guest or Administrator
4. Load Query Browser
5. Double clicked table 

RESULT : The text that comes up in the F11 tab is freakin huge, like 16 point!

Thank you for the bug report.

Thank you for your bug report. This issue has been committed to our source repository of that product and will be incorporated into the next release.

If necessary, you can access the source repository and build the latest available version, including the bug fix. More information about accessing the source trees is available at

    http://dev.mysql.com/doc/en/installing-source.html

Additional note: may I lead your attention to a nice feature we have built in? It's called "application options" and can be found via the main menu: Tools -> Options. Select "General Options" in the "Category" list and look for the group named "Application Fonts". It contains an entry "Code Font", which allows to specify the exact size your editors should use.

Additionally, I slightly decreased the default font size, which might now be a bit too small for users with a screen resolution beyond 1024 pixel, but they can of course also use the above outlined possibility to adjust it to their needs.

;-)