Probably having a setting for this is just the way to go, since the fact is that we can't scale x11 toolkits in a fractional way. While using xrandr might have performance impacts.
So, now we scale the UI at 2 and text down when 1.5 is reached. And it works better in some cases.
While I see it's not the best in others.
As workaround (works only temporary) calling
gsettings set org.gnome.desktop.interface scaling-factor 1
So we could go back to previous revision, or maybe set a gsettings for changing this threshold.
This is a tricky issue...
Probably having a setting for this is just the way to go, since the fact is that we can't scale x11 toolkits in a fractional way. While using xrandr might have performance impacts.
So, now we scale the UI at 2 and text down when 1.5 is reached. And it works better in some cases.
While I see it's not the best in others.
As workaround (works only temporary) calling desktop. interface scaling-factor 1
gsettings set org.gnome.
So we could go back to previous revision, or maybe set a gsettings for changing this threshold.