@moshimotsu@floss.social ah, that clarifies it, thanks :) Just a small correction: Shell does not use GTK; it uses another toolkit called "Shell Toolkit" - see https://gnome.pages.gitlab.gnome.org/gnome-shell/st/ As far as I remember, the main reason for that is because GTK is an application toolkit, not a desktop toolkit. The core GTK developers have actively discouraged against using GTK for desktops/shells, and things will only get exponentially more complicated once porting is involved (for example, from GTK3 to GTK4). @mirkobrombin@mastodon.social