Adivinhação longa:
No dconf-editor (instale-o com sudo apt-get install dconf-editor)
, navegue para:
org / gnome / settings-daemon / plugins / xsettings /
É ativo? ... É uma coisa inofensiva (?) para tentar.
Existe também o dconf para fazer isso com um comando cli, (run dconf help
) mas eu gosto de verificar primeiro como ele está realmente definido.
Longa história (pode ser útil?): O mesmo barco, sem certeza da mesma tempestade:
Tentei até mesmo com o tema gtk-change, gnome-tweak, Ubuntu Tweak ... sem sucesso. Ele afetou todo o GNOME, incluindo shell, Unity e até mesmo as sessões do Cairo-Dock .... Nenhum tamanho de configuração de fonte ou insinuação mostraria qualquer diferença ... (acho que foi depois de mexer nas configurações de zoom do gnome-shell e / ou acessibilidade. ..não é realmente certo)
Então (meio que um palpite) eu fui para o dconf-editor para org / gnome / settings-daemon / plugins / e checando as teclas lá (eu liguei todas elas como uma medida desesperada ... eu não faço isso) Realmente recomendo fazê-lo tão cegamente ... que funcionou para mim tu ...) "tropeçou" sobre o último: um "xsettings" e descobriu que não foi ativado. Ativando isso fez o truque.