Bug #52968 | Option to change the font size in the query window | ||
---|---|---|---|
Submitted: | 20 Apr 2010 7:29 | Modified: | 12 May 2010 16:22 |
Reporter: | Anil Konsal | Email Updates: | |
Status: | Closed | Impact on me: | |
Category: | MySQL Workbench: SQL Editor | Severity: | S3 (Non-critical) |
Version: | 5.2.19 beta | OS: | Any (Windows XP) |
Assigned to: | CPU Architecture: | Any |
[20 Apr 2010 7:29]
Anil Konsal
[20 Apr 2010 7:52]
Valeriy Kravchuk
Thank you for the problem report. Indeed, I do not see any way to change font size for SQL Editor window. Even when I try to edit font size manually in Preferences > Appearance > Fonts > Editor it does not apply the change.
[20 Apr 2010 18:55]
Johannes Taxacher
we need to add a preference setting for that as the curent font-settings only affect the modeling-part of WB
[4 May 2010 16:56]
Johannes Taxacher
The font for sql query editor is now also taken from preference setting for "Editor" in Appearance->Fonts For the font-setting only affect newly opened query/editor tabs. confirmed in repository.
[12 May 2010 16:22]
Tony Bedford
An entry has been added to the 5.2.21 changelog: It was not possible to increase the font size of text in the SQL Editor. MySQL Workbench has been changed so that fonts set in the Workbench Preferences dialog now also affect the SQL Editor.