MySQL Bugs: #53113: Scintilla customization issues

Bug #53113	Scintilla customization issues
Submitted:	23 Apr 2010 14:20	Modified:	14 Dec 2010 2:54
Reporter:	J Chimene	Email Updates:
Status:	Duplicate	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S4 (Feature request)
Version:		OS:	Any
Assigned to:		CPU Architecture:	Any

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
Consider enabling user preferences for the Scintilla editor. For example, the default Scintilla font on Linux is really lousy for code editing. The issue is that the lowercase "I" is nearly indistinguishable from the numeral "one".

See http://forums.mysql.com/read.php?153,364228,364592

How to repeat:
N/A

Thank you for the feature request.

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