Bug #86588 | Expand font alteration options | ||
---|---|---|---|
Submitted: | 5 Jun 2017 18:17 | Modified: | 1 Feb 2018 11:10 |
Reporter: | Pedro Maldonado | Email Updates: | |
Status: | Verified | Impact on me: | |
Category: | MySQL Workbench | Severity: | S4 (Feature request) |
Version: | 6.3.9, 6.3.10 | OS: | Windows (Microsoft Windows 7 Professional Service Pack 1) |
Assigned to: | CPU Architecture: | Any | |
Tags: | fonts, GUI, WBBugReporter |
[5 Jun 2017 18:17]
Pedro Maldonado
[1 Feb 2018 11:10]
MySQL Verification Team
Hello Pedro Maldonado, Thank you for the feature request! Thanks, Umesh