MySQL Workbench, маленькие символы в окне навигации - PullRequest
0 голосов
/ 13 октября 2018

Я недавно установил MySQL Workbench на мой новый ThinkPad T480s (Windows 10).После установки MySQL Workbench и попыток его использовать я понял, что это шрифт с очень маленьким размером (слишком мал, чтобы его можно было читать, не щуря постоянно).В надежде изменить его, я увеличил dpi в настройках дисплея до 225%, что сделало весь дисплей больше (и более читабельным), но размер шрифта в приложении все еще оставался невероятно маленьким, как вы можете видеть на скриншоте.

Можете ли вы помочь мне решить эту проблему?

Screenshot

1 Ответ

0 голосов
/ 14 октября 2018

Это известная проблема на дисплеях HiDPI, и, к сожалению, вы не можете многое сделать, чтобы ее исправить.Windows (в отличие от macOS, где поддержка HiDPI работает очень хорошо) не имеет хорошей поддержки API для высоких разрешений экрана.Приложение должно позаботиться о том, чтобы правильно отображать текст и изображения.Это требует большого количества изменений в MySQL Workbench, поэтому сегодня этого не произошло.

Мы знаем об этой ситуации и планируем исправить ее в будущем выпуске Workbench.Здесь важно высказать свое требование в трекере общественных вопросов .Чем больше людей жалуются, тем выше шансы, что все будет исправлено раньше.

...