Pytania oznaczone «dpi»

10
Ustawienia DPI w niesamowitym menedżerze okien

Mam nowy, ładny, błyszczący monitor 4k. Mogę zwiększyć rozmiar czcionki dla większości aplikacji (w tym niesamowitych), jednak jest kilka problemów: Błędne widżety na wibarze pokazują małą czcionkę, a nie tę zdefiniowaną w theme.lia. Wszystkie aplikacje Gnome nadal pokazują stary (aka mały)...