История изменений

была картинка 200 dpi, вы её даунскейльнули в 100 dpi, а потом растянули на весь экран - конечно при этом визуальная информация не потерялась, это троллинг тупизной, да, да, да

Чувак, прекращай тупить. У тебя есть монитор, у него разрешение 3840x2160. Если у тебя 96 DPI, то шрифт 12 выглядит нормально. Если у тебя 192 DPI, то шрифт выглядит в два раза меньше, поэтому GTK отрисовывает его помножив на 2 (192/96). Следовательно, у тебя тот же самый шрифт 12 и на 96 DPI, и на 192 DPI выглядит одинаково. Просто на 192 DPI он не такой мыльный. То же самое со всеми остальными элементами интерфейса. И да, никакой никакой «картинки» давно уже нет, все тулкиты оперируют векторами.

без даунскейла оно становится мелким, а не мыльным

Это называется upscale, дубина.

совсем по другой причине

Нет, именно по этой. Всем ещё в начале нулевых надоело пердолиться с растровыми шрифтами, потому что мониторы внезапно стали совершенно разных разрешений, а сейчас дело и до логотипов дошло.

была картинка 200 dpi, вы её даунскейльнули в 100 dpi, а потом растянули на весь экран - конечно при этом визуальная информация не потерялась, это троллинг тупизной, да, да, да

Чувак, прекращай тупить. У тебя есть монитор, у него разрешение 3840x2160. Если у тебя 96 DPI, то шрифт 12 выглядит нормально. Если у тебя 192 DPI, то шрифт выглядит в два раза меньше, поэтому GTK отрисовывает его помножив на 2 (192/96). Следовательно, у тебя тот же самый шрифт 12 и на 96 DPI, и на 192 DPI выглядит одинаково. Просто на 192 DPI он не такой мыльный. То же самое со всеми остальными элементами интерфейса. И да, никакой никакой «картинки» давно уже нет, все тулкиты оперируют векторами.

без даунскейла оно становится мелким, а не мыльным

Это называется upscale, дубина.

совсем по другой причине

Нет, именно по этой. Всем ещё в начале нулевых надоело пердолиться с растровыми шрифтами, а сейчас дело и до логотипов дошло.