Gnome 3.16 Il ridimensionamento HiDPI accetta solo numeri interi

Di recente ho eseguito l'aggiornamento a Ubuntu 15.04 con Gnome 3.16, che funziona davvero alla grande sulla mia macchina (nonostante ciò che ho trovato su molti forum sul Web). Avendo uno schermo DPI alto (13.3 "con 1920x1080) ho bisogno di ridimensionare l'intero sistema per usarlo. C'è un'impostazione per quello in TweakTool, ma sembra accettare solo numeri interi come fattore di ridimensionamento.

Qualcuno sa di una soluzione alternativa per questo? Il ridimensionamento di due è troppo grande per il mio schermo. Il valore che desidero è più vicino a 1.2

Qualsiasi aiuto sarà molto apprezzato!

Ho verificato con la mia installazione di Fedora 21 in cui ho Gnome 3.14.2 e non sembra possibile impostare il valore desiderato:

[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
   ^

I miei presupposti:

• C'è un'altra impostazione per ottenere ciò che desideri. L'unica cosa che mi viene in mente è legata al rendering dei caratteri, anche se non è esattamente quello che stai cercando.
• È un errore che la chiave accetta solo numeri interi come tipo di dati e dovresti presentare un bug.

Non sono sicuro che questo sia stato risolto o meno, ma ci sono due opzioni di ridimensionamento in Gnome per raggiungere questo obiettivo. L'attributo "ridimensionamento della finestra" che stai facendo accetta 1 o 2 (o 0, ma questo è "indefinito" credo). Se lo desideri, puoi eseguire il ridimensionamento del testo, che accetta numeri mobili.

In Gnome Tweak Tool, questo è disponibile nella sezione font. In alternativa, puoi accedere ad entrambi nell'editor dconf sotto org.gnome.desktop.interfaceHo notato che questa opzione tende a funzionare meglio, poiché lo strumento Gnome Tweak a volte non può aggiornare correttamente le impostazioni, causando strani problemi di ridimensionamento.

Il ridimensionamento frazionario non è ufficialmente supportato nelle versioni precedenti 3.32e non supportato affatto all'interno di GNOME nelle versioni inferiori a 3.28.

Tuttavia, puoi ottenere lo stesso effetto su 3.16 con xrandr .

Puoi farlo se passi al display server Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

Altrimenti, l'unica opzione sembrerebbe essere l'aggiornamento a una versione della distribuzione con una versione più recente di GNOME. Questa funzionalità è disponibile in Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

Il ridimensionamento non intero non è (ancora) supportato in Gnome e quindi Ubuntu. Anche se è possibile ottenere alcune soluzioni utilizzando xrandr, che comporta un upscaling e un successivo downscaling, non posso raccomandarlo poiché è molto intenso CPU / GPU e viene fornito con altre stranezze e problemi e non porta necessariamente al risultato desiderato . Ci sono molti dibattiti in corso e discute su r / linux oltre a reddit se sei interessato e qui c'è anche un articolo di uno degli sviluppatori elementari (una distro basata su Ubuntu) che parla un po 'più approfonditamente di DPI alti: link . Spero che questo aiuti un po '.