MySQL Bugs: #62105: menu font sizes are hard-coded and may render too small

Bug #62105	menu font sizes are hard-coded and may render too small
Submitted:	6 Aug 2011 10:06	Modified:	19 Jul 2012 6:36
Reporter:	Wayne Erfling	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench	Severity:	S3 (Non-critical)
Version:	5.2.34.2, 5.2.40	OS:	Windows (XP SP3)
Assigned to:		CPU Architecture:	Any
Tags:	font, menu, workbench

Description:
In Windows (I can't speak for other OS's), the SQL Workbench program and it's associate programs (e.g. Sql Editor) use a menu font that disregards the settings on the user's computer.

This (apparently) hard-coded menu font may render uncomfortably tiny on some user's systems.

The programs' menus (and dialogs as appropriate) should use user-selected (e.g. Control Panel) OS display metrics wherever available, to allow the user to read program menus comfortably on their own systems.

Unlike content windows (such as browsers), the menu fonts cannot be zoomed with a mouse wheel, and unlike some of the fonts within windows in MySQL Workbench can be manually updated, the menu fonts cannot.

How to repeat:
Run the program.

Compare the font size of the MySQL Workbench to the font size in Windows programs that use Control Panel settings.

On many (most) systems they will be different.

Suggested fix:
Use the operating system "Control Panel" "menu font" size (and to a lesser extent, font family) and where applicable, dialog and tool tip font sizes.

Yes, font settings made via Control Panel (Control Panel > Display Properties) do not influence Workbench. Verified on Windows XP.

Bug #65713 was marked as a duplicate of this one.

This has been fixed as of the soon-to-be-released Workbench 5.2.41, and 
here's the changelog entry:

On Microsoft Windows, MySQL Workbench would ignore the system's font 
setting, but now uses it when MySQL Workbench is initialized.