Ubuntu – Gnome 3.16 HiDPI scaling only accepts integers

15.04gnomescalingubuntu-gnome

I recently upgraded to Ubuntu 15.04 with Gnome 3.16, which is working really great on my machine (despite what I found on many forums around the web). Having a high DPI screen however (13.3" with 1920×1080) I need to scale the entire system to use it. There is a setting for that in the TweakTool, but it only seems to accept integers as scaling factor.

enter image description here

Does anybody know about a workaround for this? Scaling by two is way too large for my screen. The value I want is closer to 1.2

Any help will be greatly appreciated!

Best Answer

I checked with my Fedora 21 install where I have Gnome 3.14.2 and it doesn't seem to be possible to set your desired value:

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

My assumptions:

  • There is a another setting to achieve what you want. The only thing that comes to my mind is font rendering related, though that is not exactly what you are looking for.
  • It's a mistake that the key only accepts integers as datatype and you should file a bug.
Related Question