Bug #58726 | Missing character sets for editor fonts; poor font rendering | ||
---|---|---|---|
Submitted: | 4 Dec 2010 0:41 | Modified: | 14 Dec 2010 16:51 |
Reporter: | D C | Email Updates: | |
Status: | Duplicate | Impact on me: | |
Category: | MySQL Workbench | Severity: | S3 (Non-critical) |
Version: | 5.2.30 | OS: | Linux (Fedora 14) |
Assigned to: | Alfredo Kojima | CPU Architecture: | Any |
Tags: | 5.2.30, font, MySQL, workbench |
[4 Dec 2010 0:41]
D C
[7 Dec 2010 16:33]
Johannes Taxacher
as a workaround you can change the font used in script-editor in WB preferences
[7 Dec 2010 16:44]
D C
Aye. I read somewhere that you can remove the font name completely in the preferences and it will render much better. I did this and I can read it much better.
[14 Dec 2010 2:33]
Alfredo Kojima
This has been fixed. As a workaround, leave the editor font setting empty or prepend the font name with a ! character.
[14 Dec 2010 2:37]
Alfredo Kojima
This is actually a duplicate of bug #54059
[14 Dec 2010 16:51]
D C
Thank you very much!