a46be17dfeb53c3454812410207a8ea4eb217b76
039335b6d372374872845abbd4c8852bd4edf849
fdd3239a372726a736e6868b1e79166d1136bd35
270e63b57e6c6165a8fc4525bd6b06c34911a47a
The process that embeds extension preferences has been ported to GTK4 for GNOME 40, so extensions must port as well to keep their preferences working.
The main issue here is that gnome-desktop doesn't have a GTK4 port yet, other changes are more or less straight-forward.
Pull-Request has been merged by fmuellner
The process that embeds extension preferences has been ported to GTK4 for GNOME 40, so extensions must port as well to keep their preferences working.
The main issue here is that gnome-desktop doesn't have a GTK4 port yet, other changes are more or less straight-forward.