Размер шрифта Winbox

Mikrotik, разработчики!!! Исправьте масштабирование для пользователей с 4K! Мы вас ненавидим!

напоминание… Это очень нужно, особенно на дисплеях с высоким разрешением (Hi-DPI) при использовании нативного разрешения. – jeroen

Я уменьшил разрешение на рабочем ноутбуке, чтобы избавиться от размытия из-за масштабирования в Windows. И это проблема не только в Winbox, а во многих программах.

Я не согласен. MacBook Retina показывает всё идеально. Ничего не должно быть мелким, операционная система должна масштабировать интерфейс, учитывая размер экрана, чего, похоже, нет в некоторых версиях Windows. Вот скриншот с MacBook Retina:

Выглядит отлично. Размер шрифта совпадает с настройками системы и другим интерфейсом.

Вот почему это не очень хорошо. Большинство приложений, которые я использую, можно настроить индивидуально, включая размер шрифта. И именно этого просил vdelarenal75: «Привет, есть ли способ увеличить размер шрифта в winbox? Я понимаю, что вы не очень хотите добавлять такую настройку, но не говорите нам „всё нормально“, когда для некоторых из нас это явно не так». – jeroen

PS: нашёл обходной путь через WineBottler на OS X. Выглядит, мягко говоря, не очень, но работает. Запланировал написать об этом пост в блоге где-то следующим летом.

Это тоже не правда. Сравните текстовый редактор Atom IO слева и WinBox справа. Я мог бы сделать такую же картинку и на Windows (Atom IO есть и для Windows). Говоря очень грубо: даже Блокнот в Windows позволяет менять размер шрифта. Как коллега-разработчик, я знаю, что масштабирование шрифта и поддержка DPI — штука непростая, но не прячьтесь за фразой «это так же, как во всей системе». Если вы пока не хотите вводить масштабирование шрифта в WinBox — просто скажите об этом. –jeroen

Вы не совсем правы, обвиняя здесь Windows и в других темах (например, в этой: http://forum.mikrotik.com/t/time-on-log-screen-unreadable/77475/1). Так называемые 100% DPI в Windows — это 96 DPI, то есть «стандарт» (на самом деле это не стандарт, а значение по умолчанию), что принесло много проблем, потому что многие программисты привыкли считать именно это единственным DPI. 150% DPI в Windows вовсе не означает что-то плохое и нестандартное, просто у монитора не стандартные 96 DPI, а 144 DPI (или близко к этому, у меня 142 DPI). Windows с давних пор может сообщать текущий DPI приложению — это ничего нового. Приложению просто нужно это запросить. Retina-режим в OS X вводит понятие логических, а не физических пикселей для плохо написанных приложений, это один из их подходов. Плохая сторона такого подхода в том, что пиксель уже не совсем пиксель. Текущее масштабирование в Windows 8/10 — это просто обходной путь для приложений, которые плохо работают с DPI. Но из-за этого приложение становится размытым и, в итоге, плохо читаемым. Так что это не проблема Windows, это проблема приложения — оно не поддерживает DPI (в терминологии Windows: https://msdn.microsoft.com/en-us/library/windows/desktop/dn469266(v=vs.85).aspx). Если вы используете WinAPI, можно полагаться на старые-добрые GetDeviceCaps(hDC, LOGPIXELSX) и GetDeviceCaps(hDC, LOGPIXELSY): https://msdn.microsoft.com/en-us/library/windows/desktop/dd144877(v=vs.85).aspx. И да, несмотря на то, что на современных дисплеях пиксели квадратные, это не всегда так — они могут быть прямоугольными, но сейчас это встречается редко.

Вот в чем моя проблема с 4K монитором. Как это исправить?