=== JanC_ is now known as JanC === maclin1 is now known as maclin === Guest35096 is now known as fredp === fredp is now known as Guest67422 [09:04] hi! Does anybody know if there's a dedicated channel for mutter? [10:35] c-lobrano: #gnome-shell on irc.gnome.org [10:35] jbicha: great, thanks! [10:53] Does it make sense that the Super key brings up Activities instead of Applications? Has that been discussed? [10:53] (in 17.10, that is) [10:56] vithiri: if you want Applications, use Super+A [10:56] (GNOME copied that from Unity years ago) [10:58] jbicha, interesting. Neither really has any impact on how use it since I'd just start typing an application name either way, I was more thinking of what a new user would find more intuitive -- seeing the open windows already present on the ubuntu-dock or the available apps to open. === Guest67422 is now known as fredp === fredp is now known as Guest3692 === Guest3692 is now known as fredp === fredp is now known as Guest35913