![]() Related, if I attempt to use the -force-sw-render option, I get a segmentation fault at the same point. Resultset Grid: Tahoma 8 Resultset grid in SQL editor. Is there a way to produce more verbose output? 3.2.5 Fonts and Colors Preferences SQL Editor: Consolas 10 Global font for SQL text editors. Bottom: SQL editor, result set grid, script shell and script editor default fonts. Fossies Dox: mysql-workbench-community-8.0. The preferences dialog has a place where fonts and colors are defined however any changes I make are not applied or saved How to repeat: 1. Also, I am not able to change the font size. ![]() I also found in internet suggestion to change size in wboptions.xml, but this also did not change anything. You can use it to design and create new database schemas, document existing databases and even perform complex migrations to MySQL. To add a column in a table, use the following syntax: ALTER TABLE tablename. Description: The text that is typed into the SQL editor for MySQL Workbench is way too small to be able to read on Linux. Could anyone help me to increase font size in MySQL Workbench 6.4 I tried to change Edit->Preferences->Appearance from 10 to 26 or 40 but the fonts have not changed. ** Message: TreeViewImpl::add_column: handle width! About: MySQL Workbench is an extensible visual database modeling tool for MySQL. Note that mysql-workbench-gpl-5.2.47-1ubu1204 relies on libctemplate2 while Ubuntu 13.04 has libctemplate2, so you need to manually install libctemplate0 from Precise. (mysql-workbench-bin:17963): Gtk-CRITICAL **: gtk_box_pack: assertion `child->parent = NULL' failed The Ubuntu repository package mysql-workbench-5.2.40+dfsg-2 exhibits the same bug (and additionally it does not show any schemas in the left hand pane). David Hjelle This occurs to me on server 5.2.35 with parent = NULL' failed
0 Comments
Leave a Reply. |