Gnome 3.16 O escalonamento HiDPI só aceita inteiros

Question

Eu recentemente atualizei para o Ubuntu 15.04 com o Gnome 3.16, que está funcionando muito bem na minha máquina (apesar do que eu encontrei em muitos fóruns pela web). Tendo uma tela DPI alta no entanto (13,3 "com 1920x1080) eu preciso escalar todo o sistema para usá-lo. Há uma configuração para isso no TweakTool, mas parece aceitar apenas inteiros como fator de escala.

Alguém sabe sobre uma solução alternativa para isso? Escalar por dois é muito grande para a minha tela. O valor que eu quero está mais próximo de 1,2

Qualquer ajuda será muito apreciada!

    

Answer 1

Eu verifiquei com minha instalação do Fedora 21 onde tenho o Gnome 3.14.2 e não parece ser possível definir o valor desejado:

[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1.2
invalid character in number:
  1.2
   ^
[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1,2
expected end of input:
  1,2
   ^

Minhas suposições:

• Existe outra configuração para alcançar o que você deseja. A única coisa que me vem à mente é a fonte relacionada à renderização, embora não seja exatamente o que você está procurando.
• É um erro que a chave só aceite números inteiros como tipo de dados e você deve enviar um bug.

Answer 2

Não tenho certeza se isso foi resolvido ou não, mas há duas opções de escalonamento no Gnome para conseguir isso. O atributo "window scaling" que você está fazendo aceita 1 ou 2 (ou 0, mas isso é "indefinido", eu acho). Se você quiser, pode fazer escala de texto, que aceita números flutuantes.

No Gnome Tweak Tool, isso está disponível na seção de fontes. Alternativamente, você pode acessar ambos no editor do dconf em org.gnome.desktop.interface . Eu notei que esta opção tende a funcionar melhor, já que o Gnome Tweak Tool às vezes não pode atualizar a configuração corretamente, causando estranhos problemas de escala.