A escala HiDPI do Gnome 3.16 aceita apenas números inteiros

Recentemente, atualizei para o Ubuntu 15.04 com o Gnome 3.16, que está funcionando muito bem na minha máquina (apesar do que encontrei em muitos fóruns na web). Porém, tendo uma tela de DPI alta (13,3 "com 1920x1080), preciso dimensionar todo o sistema para usá-lo. Há uma configuração para isso no TweakTool, mas parece aceitar apenas números inteiros como fator de dimensionamento.

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

Qualquer ajuda será muito apreciada!

Eu verifiquei com minha instalação do Fedora 21, onde tenho o Gnome 3.14.2 e não parece 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:

• Há uma outra configuração para alcançar o que você deseja. A única coisa que me vem à mente é a renderização de fontes, embora não seja exatamente isso que você está procurando.
• É um erro que a chave aceite apenas números inteiros como tipo de dados e você deve registrar um erro.

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

Na Ferramenta Gnome Tweak, isso está disponível na seção fonte. Como alternativa, você pode acessar os dois no dconf-editor em org.gnome.desktop.interfaceEu notei que essa opção tende a funcionar melhor, pois a Gnome Tweak Tool às vezes não pode atualizar a configuração corretamente, causando problemas estranhos de escala.

O dimensionamento fracionário não é oficialmente suportado em versões inferiores 3.32e nem suportadas no GNOME em versões inferiores a 3.28.

No entanto, você pode obter o mesmo efeito na 3.16 com o xrandr .

Você pode fazê-lo se mudar para o servidor de exibição Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

Caso contrário, sua única opção seria atualizar para uma versão da distribuição com uma versão mais recente do GNOME. Esta funcionalidade está disponível no Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

O escalonamento não inteiro não é (ainda) suportado no Gnome e, portanto, no Ubuntu. Embora seja possível obter algumas soluções alternativas usando o xrandr, que envolve um upscaling e um subsequente downscaling, não posso recomendar isso, pois é muito intensivo em CPU / GPU e vem com outras peculiaridades e problemas e não leva necessariamente ao resultado desejado. . Existem muitos debates em andamento e discussões sobre o r / linux no reddit, se você estiver interessado, e também há um artigo de um dos desenvolvedores elementares (uma distro baseada no Ubuntu) que fala um pouco mais sobre o DPI alto em profundidade: link . Espero que isso ajude um pouco.