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 1920x1080) 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.
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!