On Thu, 2016-01-28 at 09:41 +0000, Pete Biggs wrote: > On Thu, 2016-01-28 at 09:25 +0100, Matthias Apitz wrote: > > What is the Gnome Shell exactly? > > It's the name for the Gnome window manager.
It's actually the default GNOME 3 UI. The underlying window manager is "mutter". :) andre -- Andre Klapper | ak...@gmx.net http://blogs.gnome.org/aklapper/ _______________________________________________ evolution-list mailing list evolution-list@gnome.org To change your list options or unsubscribe, visit ... https://mail.gnome.org/mailman/listinfo/evolution-list