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: Verified Impact on me:
None 
Category:MySQL Workbench Severity:S3 (Non-critical)
Version:8.0.11 OS:Mac OS X (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.