Bug #90754 Table Editor has different fonts
Submitted: 4 May 2018 16:05 Modified: 4 May 2018 16:51
Reporter: mike coutinho Email Updates:
Status: Won't Fix Impact on me:
None 
Category:MySQL Workbench Severity:S3 (Non-critical)
Version:8.0.11 OS:MacOS (10.13)
Assigned to: CPU Architecture:Any

[4 May 2018 16:05] mike coutinho 
Description:
On doing an alter on a table, I noticed that the fonts are different in the table editing section.

How to repeat:
Do an alter on a table and look at the fonts as they render.
[4 May 2018 16:05] mike coutinho 
picture of font differences

Attachment: Screen Shot 2018-05-04 at 12.03.45 PM.png (image/png, text), 36.10 KiB.
[4 May 2018 16:51] MySQL Verification Team 
Thank you for the bug report.
[14 Sep 18:04] Omer Barnir 
Posted by developer:

This issue applies to the legacy MySQL Workbench 8.x implementation that is no longer supported or maintained.
MySQL Workbench 26.7 is a complete rewrite using a new technology stack and does not use the affected legacy implementation.
Therefore, this issue is not applicable to the current MySQL Workbench product and as such is closed.