Port preferences to GTK4
As GTK4 is set to be released in time for GNOME 40, let's make sure we are using it straight-away.
Edited by Florian Müllner
As GTK4 is set to be released in time for GNOME 40, let's make sure we are using it straight-away.