Bug #69691 Font selection in Preferences does not function as seemingly intended
Submitted: 8 Jul 2013 15:30 Modified: 5 Nov 2013 1:04
Reporter: Craig Fowler Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench Severity:S3 (Non-critical)
Version:6.0.2 OS:Linux (Debian Stable +libc6 from testing)
Assigned to: CPU Architecture:Any
Tags: UI

[8 Jul 2013 15:30] Craig Fowler
Description:
This is in-part related to #55536 (which is itself still reproducible in 6.0.2).

In the Preferences » Appearance panel, the font selections are made using a freetext entry control.  The default selections are populated in here as font/size names such as "Helvetica Bold 12".

If I edit these to use my own choice of font, and I follow the same pattern and enter a value such as "DejaVu Sans Mono 10", my input is seemingly ignored (I closed all SQL editor tabs and restarted WB to ensure that the change was applied).

If I instead enter just a font name "DejaVu Sans Mono" then my choice of font is correctly applied after I restart WB and open a new SQL editor tab, although of course not at the font size I wanted.  It seems that the addition of the font size to the name (perhaps only on GNU/Linux) is causing it not to be found, causing WB to fall-back to its default?

This might be solved though by resolving #55536 and providing a better font-chooser for this prefs pane.

How to repeat:
* Open the Preferences » Appearance tab and type a font name & size combination that is noticeably different from the default such as "DejaVu Serif 10".

* Close and restart WB

* Type something into a SQL editor panel.  The font selection has been ignored.

Repeat the steps above but type only the font name into the preferences window (eg: "DejaVu Serif") and the font setting will be used correctly (although there is no opportunity to provide a font size).
[8 Jul 2013 15:36] MySQL Verification Team
Duplicate of http://bugs.mysql.com/bug.php?id=55536 (added version in that bug report).
[29 Aug 2013 17:11] Alfredo Kojima
This is not a duplicate
[30 Aug 2013 10:32] Nachiketa Sahoo
Can confirm the bug on Ubuntu 13.04, running xubuntu desktop.
[29 Oct 2013 18:07] Armando Lopez Valencia
Posted by developer:
 
FIXED.
Verified in:
Ubuntu 12.04x64
MySQl Server 5.6
WB 6.0.8.11345
Size and font changes are now applied correctly.
[5 Nov 2013 1:04] Philip Olson
Fixed as of MySQL Workbench 6.0.7, and here's the changelog entry:

On Linux, font type and font size preference changes were not always
preserved.

Thank you for the bug report.