2016-November Archive by Date

• Messages sorted by: [ Thread ] [ Date ] [ Author ]
• Other months

02 November 2016

• Re: Alternative to restarting shell on wayland  Mario Wenzel
• Re: Alternative to restarting shell on wayland  Norman L Smith

10 November 2016

• Mutter 3.22.2  Florian Müllner
• GNOME Shell 3.22.2  Florian Müllner
• GNOME Shell Extensions 3.22.2  Florian Müllner

13 November 2016

• Adding a container to the left of the Activities view  rastersoft

16 November 2016

• GJS API changes  philip . chimento
• Extensions  Leslie S Satenstein
• Re: Extensions  Felipe Borges
• Re: GJS API changes  Emmanuele Bassi

17 November 2016

• Re: GJS API changes  philip . chimento
• Re: GJS API changes  Christian Hergert
• Re: GJS API changes  philip . chimento

18 November 2016

• Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  Amaury SECHET
• Re: Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  Matthias Clasen

19 November 2016

• Re: Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  Amaury SECHET

22 November 2016

• Re: Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  Jan Niklas Hasse
• Re: Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  François Guerraz
• Re: Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  François Guerraz
• Re: Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  Jan Niklas Hasse

23 November 2016

• Re: Maximus and Pixel saver extentions do not work on wayland, let's figure a solution  Amaury SECHET
• Mutter 3.23.2  Florian Müllner
• GNOME Shell 3.23.2  Florian Müllner
• GNOME Shell Extensions 3.23.2  Florian Müllner