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: | |
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
[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.