Hey Giovanni,
On Thu, 2012-10-18 at 21:22 +0200, Giovanni Campagna wrote:
Hello Shell and Control Center developers
I've stumbled upon https://bugzilla.gnome.org/show_bug.cgi?id=675902,
which is a bug about the volume menu in gnome-shell, and I had to
update some of the copy-pasted bits
On Friday, 19 October 2012 at 07:23, Bastien Nocera wrote:
I sense much anger and pain in making it a sub-module, but if you're
willing to do the work on unbreaking gnome-shell every time I break it
for gnome-control-center, then you're more than welcome. I'll be waiting
for the introspection
On Fri, 2012-10-19 at 08:18 +0100, Ross Burton wrote:
On Friday, 19 October 2012 at 07:23, Bastien Nocera wrote:
I sense much anger and pain in making it a sub-module, but if you're
willing to do the work on unbreaking gnome-shell every time I break it
for gnome-control-center, then you're
2012/10/19 Bastien Nocera had...@hadess.net:
On Fri, 2012-10-19 at 08:18 +0100, Ross Burton wrote:
On Friday, 19 October 2012 at 07:23, Bastien Nocera wrote:
I sense much anger and pain in making it a sub-module, but if you're
willing to do the work on unbreaking gnome-shell every time I
On 19 Oct 2012, at 20:33, Giovanni Campagna scampa.giova...@gmail.com wrote:
2012/10/19 Bastien Nocera had...@hadess.net:
On Fri, 2012-10-19 at 08:18 +0100, Ross Burton wrote:
On Friday, 19 October 2012 at 07:23, Bastien Nocera wrote:
I sense much anger and pain in making it a sub-module, but
2012/10/19 Bastien Nocera had...@hadess.net:
On 19 Oct 2012, at 20:33, Giovanni Campagna scampa.giova...@gmail.com wrote:
2012/10/19 Bastien Nocera had...@hadess.net:
On Fri, 2012-10-19 at 08:18 +0100, Ross Burton wrote:
On Friday, 19 October 2012 at 07:23, Bastien Nocera wrote:
I sense much
Hello Shell and Control Center developers
I've stumbled upon https://bugzilla.gnome.org/show_bug.cgi?id=675902,
which is a bug about the volume menu in gnome-shell, and I had to
update some of the copy-pasted bits from libgnome-volume-control.
What I found out is that the trees in gnome-shell and
+1
2012/10/18 Giovanni Campagna scampa.giova...@gmail.com
Hello Shell and Control Center developers
I've stumbled upon https://bugzilla.gnome.org/show_bug.cgi?id=675902,
which is a bug about the volume menu in gnome-shell, and I had to
update some of the copy-pasted bits from
