была картинка 200 dpi, вы её даунскейльнули в 100 dpi, а потом растянули на весь экран - конечно при этом визуальная информация не потерялась, это троллинг тупизной, да, да, да
Чувак, прекращай тупить. У тебя есть монитор, у него разрешение 3840x2160. Если у тебя 96 DPI, то шрифт 12 выглядит нормально. Если у тебя 192 DPI, то шрифт выглядит в два раза меньше, поэтому GTK отрисовывает его помножив на 2 (192/96). Следовательно, у тебя тот же самый шрифт 12 и на 96 DPI, и на 192 DPI выглядит одинаково. Просто на 192 DPI он не такой мыльный. То же самое со всеми остальными элементами интерфейса. И да, никакой никакой «картинки» давно уже нет, все тулкиты оперируют векторами.
без даунскейла оно становится мелким, а не мыльным
Это называется upscale, дубина.
совсем по другой причине
Нет, именно по этой. Всем ещё в начале нулевых надоело пердолиться с растровыми шрифтами, потому что мониторы внезапно стали совершенно разных разрешений, а сейчас дело и до логотипов дошло.
Это терминология гугла, причем для Андроида :) В таком случае, 4k на 24" тоже не считается HiDPI. Правда, скалировать изображение почему-то нужно. Наверное потому, что плотность в два раза выше обычного монитора :D
Эм… У товарища intelfx все правильно, потому что умные Gtk и Qt делают все за него. У меня тоже не настроены переменные окружения и все правильного размера.
Хайдпи — это когда софт применяет коэффициент масштабирования ко всему, что рисуется на экране. В моём случае это утверждение истинно (я могу принудительно выставить ×1 в настройках гнома и всё становится в два раза мельче).
Что там думают гуглы по поводу маркетинговых названий конкретных числовых диапазонов реального DPI, абсолютно не имеет значения.