4 ms·
Just as "gnome-shell" is an extension to Mutter, you can also add other extensions to Mutter IIRC (I mean Mutter extensions, these are different than the stuff
by bkor 14y ago
Just as "gnome-shell" is an extension to Mutter, you can also add other extensions to Mutter IIRC (I mean Mutter extensions, these are different than the stuff on extensions.gnome.org). Furthermore, you should be able to change the behaviour of GNOME shell window manager behaviour via GNOME shell extensions as well. The latter might be a bit buggy though.
- mseepgood 14y agoGnome Shell is not an extension to Mutter (it once was, but that changed before the 3.0 release; it's still wrong in Wikipedia). Today Gnome Shell is a window manager implemented by using libmutter.