How scaling 4k monitor to 150% (not 200%!)?

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.

1 Like

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 int: https://valadoc.org/gdk-3.0/Gdk.Window.get_scale_factor.html

1 Like

It didn’t work :frowning: … 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)