Bug #53729 Font to small in editor

• Submitted: 18 May 2010 7:10
• Modified: 14 Dec 2010 2:52
• Reporter: Susanne Ebrecht
• Status: Duplicate
• Category: MySQL Workbench: SQL Editor
• Severity: S4 (Feature request)
• OS: Linux
• CPU Architecture: Any
• Tags: 5.2.21

[18 May 2010 7:10] Susanne Ebrecht

Description:
1. Open Connection to start querying
2. Fill a SQL Statement

The font is so small that I am not able to read what I wrote.

It looks like font size 6 or whatever is taken here.

Please make the font minimum size 10 or 12 and make it configurable.

How to repeat:
See picture

[18 May 2010 7:11] Susanne Ebrecht

here is the picture of my workbench editor

Attachment: wb-editor.png (image/png, text), 54.12 KiB.

[18 May 2010 7:31] Susanne Ebrecht

You can change the font at: Preferances -> Appearance

This is not really familiar.

My feature request is to make minimum a link at Preferences -> SQL Editor for changing fonts.

[14 Dec 2010 2:52] Alfredo Kojima

marking as duplicate of bug #54059
you can fix by prepending the editor font name in preferences with a ! character