Title… How scaling 4k monitor to 150% (not 200%!)?
For 19.04 and 19.10 fractional scaling is available as an experimental option:
In a terminal
gsettings set org.gnome.mutter experimental-features "['x11-randr-fractional-scaling']"
Then use Settings - Displays to set the scale 1, 1.25 etc.
Note the emphasis is EXPERIMENTAL. What is required are people who have 4K monitors to also resolve issues found through workarounds/code fixes etc. As I understand it, current budgie desktop developers don’t have 4K equipment and therefore cannot help resolve issues found.
Also note that many libraries aren’t capable of handling other scaling (yet) then of type int (100%, 200% etc).
Gdk.Window.get_scale_factor() explicitely is of type
It didn’t work … anyway, thanks so much for the reply. Now how do I revert the mentioned command in the terminal?
gsettings set org.gnome.mutter experimental-features "" should do the job (or:
dconf reset /org/gnome/mutter/experimental-features)