MySQL Workbench: как я могу изменить шрифт заголовков сетки результатов (имена столбцов)?

Question

Из настроек -> Шрифты Я могу увеличить размер шрифта сетки результатов, но это не влияет на шрифт имен столбцов.

Я использую V 6.3 в macOS.

Answer 1

Это невозможно.Там используется стандартный системный шрифт.