MySQL Bugs: #23946: User configurable fonts

Bug #23946	User configurable fonts
Submitted:	3 Nov 2006 16:01
Reporter:	Magnus Määttä	Email Updates:
Status:	Won't fix	Impact on me:	None
Category:	MySQL Workbench Preview	Severity:	S4 (Feature request)
Version:	1.1.5alpha	OS:	Linux (Linux)
Assigned to:		CPU Architecture:	Any

Description:
It would be very useful if you could configure fonts used and font-size.

I've a few tables that up to the 11th character have the same name and I'm used to using smaller fonts (9-12) in editors, terminals etc. Just making every object larger to see the full table name just creates another problem, everything taking up too much space.

I tried hacking the .xml-file where the font-sizes are defined, but using the default width on the objects (tables) created it still cut off at the same place. 

I also noticed that AA isn't used, which can be seen in the screenshot provided (it works everywhere else, Konqueror, KMail, etc).

I used mysql-gui-tools-5.0r5-linux-i386.tar.gz (the precompiled one with all deps).

How to repeat:
Reverse engineer any database or create a new table to see the fonts and font-size used.

Suggested fix:
Add a menu where this can be configured.

4 tables (one expanded) with too large fonts and no AA

Attachment: snapshot46.png (image/png, text), 5.74 KiB.