Bug #74571 Preferences displays various fonts, but there is no way to modify them
Submitted: 26 Oct 2014 16:05 Modified: 2 Feb 2018 10:30
Reporter: Michael Davis Email Updates:
Status: Verified Impact on me:
Category:MySQL Workbench Severity:S4 (Feature request)
Version:6.1.7 OS:Windows (Microsoft (build 9200), 64-bit)
Assigned to: CPU Architecture:Any
Tags: WBBugReporter

[26 Oct 2014 16:05] Michael Davis
----[For better reports, please attach the log file after submitting. You can find it in C:\Users\Michael\AppData\Roaming\MySQL\Workbench/log/wb.log]

The Help tab says you can change the fonts under Preferences.  However, when in the Preferences screen, the system shows the various fonts, but there is no way to change them.

How to repeat:
Select Preferences from the EDIT tab and choose appearance.

Suggested fix:
I suspect this is supposed to work, so just fix it so that the user can modify fonts
[26 Oct 2014 16:06] Michael Davis
Log file

Attachment: wb.log (application/octet-stream, text), 6.79 KiB.

[2 Feb 2018 10:30] MySQL Verification Team
Thank you for the feature request.