MySQL Bugs: #76076: menu and toolbars font do not use system fonts and are oversided

Bug #76076	menu and toolbars font do not use system fonts and are oversided
Submitted:	27 Feb 2015 9:44	Modified:	27 Feb 2015 12:44
Reporter:	Pawel Eljasz	Email Updates:
Status:	Duplicate	Impact on me:	None
Category:	MySQL Workbench	Severity:	S3 (Non-critical)
Version:	6.2	OS:	Linux (fedora 21)
Assigned to:		CPU Architecture:	Any
Tags:	menu font

Description:
top menu, toolbars: Catalog, Layers do not want be the fonts that are set system-wide.
Strange/weird bit is that top menus use other (oversized compared to my system) fonts whereas their drop-down lists, eg File -> everything here -> go to Preferences still are nice & good looking system fonts.

My OS is Fedora @ default Gnome.
ps. shame a snapshot I cannot attach.

How to repeat:
just try it on Fedora.

Thank you for the bug report. http://bugs.mysql.com/bug.php?id=75819 already verified and related to ask for provide the font use of theme settings.

some GUI parts get theme settings some don't

Attachment: mysql-workbench.png (image/png, text), 105.10 KiB.

in my case workbench does not honour some settings, you can see on the attached snapshot it has theme's fonts in, eg Preferences area/windows like expected but most of main GUI has something completely different and in my opinion it cannot be controlled by settings. Something is ignored here.

Thank you for the feedback. Anyway is related to setting the font size in some way, I just mentioned what the first reporter suggested. Thanks.