| Bug #18631 | No font specified for "GRT Shell" window | ||
|---|---|---|---|
| Submitted: | 29 Mar 2006 21:11 | Modified: | 26 Apr 2006 16:05 |
| Reporter: | John Yodsnukis (Basic Quality Contributor) | Email Updates: | |
| Status: | Closed | Impact on me: | |
| Category: | MySQL Workbench Preview | Severity: | S3 (Non-critical) |
| Version: | 1.0.5beta svn revision 1222 | OS: | Linux (Linux (Gentoo on PPC)) |
| Assigned to: | Alfredo Kojima | CPU Architecture: | Any |
[29 Mar 2006 21:13]
John Yodsnukis
Under Windows, the font is a nice, fixed system font.
[30 Mar 2006 13:29]
MySQL Verification Team
Thank you for the bug report.
[26 Apr 2006 16:05]
Alfredo Kojima
Thank you for your bug report. This issue has been committed to our
source repository of that product and will be incorporated into the
next release.
If necessary, you can access the source repository and build the latest
available version, including the bugfix, yourself. More information
about accessing the source trees is available at
http://www.mysql.com/doc/en/Installing_source_tree.html
Description: The "GRT Console" window defaults to a font that is likely to be proportionally spaced. This looks terrible in the console window since output, especially help, is columnar. The suggested fix below is a HOWTO for setting a fixed, monospaced font in the source code of ./mysql-gui-common/source/linux/MGRTShell.cc How to repeat: Start up wb under Linux. Press F4 to open the GRT Shell Console or on the menu bar Select "View | GRT Console" Suggested fix: This patch will set the font to vera sans mono: Index: MGRTShell.cc =================================================================== --- MGRTShell.cc (revision 1222) +++ MGRTShell.cc (working copy) @@ -40,6 +40,12 @@ _top_box.pack_start(_paned, true, true); + Pango::FontDescription font; + font.set_family("bitstream vera sans mono"); + font.set_size(Pango::SCALE*9); + + _text.modify_font(font); + _text_scroll.add(_text); _text_scroll.set_policy(Gtk::POLICY_NEVER, Gtk::POLICY_AUTOMATIC); _text_scroll.set_shadow_type(Gtk::SHADOW_IN);