MySQL Workbench：如何更改结果集网格标题（列名称）的字体？

Question

从“首选项”->“字体”中，我可以增加“结果集”网格的字体大小，但这不会影响列名称的字体。

我正在macOS上使用V 6.3。

Answer 1

那是不可能的。在那里使用标准的系统字体。