Mysql Workbench Result Grid Font Size. Newer Post Older Post Home. MySQL Workbench Manual.
May 24 2017 0114PM I just upgraded from 635 to 639 on Windows 10 and noticed that the rows on the result grid are much shorter than they used to be. For best results stretch the field so that it spans the entire width of the page. Consolas 10 Code editors in scripting shell.
MMSM Change font size in the in the new query pan.
14 Mar 2017 1813 Drew Cossey. Finished Report in Preview Mode. Consolas 10 Scripting shell output area. For best results stretch the field so that it spans the entire width of the page.