Re: Message Tray design is intrusive

2013-05-13 Thread Rahul Jain
Okay, that puts a different perspective on things. I'm using 3.8 on Ubuntu with Xserver 1.13.3. In the previous version, message tray opening was immediate whereas in the current one (I'm using the settings provided by the UGR edition) there's a little 2 second time-delay, so I assumed that was

Some extensions change Language to english after resume from suspend

2013-05-13 Thread Bazon Bloch
Hello, is the behaviour described in the title known? I searched for that but haven't found something yet. It happens at least with https://extensions.gnome.org/extension/5/alternative-status-menu/ (e.g. my german Bereitschaft becomes Suspend) and

Re: Some extensions change Language to english after resume from suspend

2013-05-13 Thread Gabriel Rossetti
Hi, This sounds like a bug, the extensions must not have the translations. Try filing a bug report on the extension as they are the ones changing the labels. Cheers, Gabriel On Mon, May 13, 2013 at 6:31 PM, Bazon Bloch bazonbl...@arcor.de wrote: Hello, is the behaviour described in the

Re: Some extensions change Language to english after resume from suspend

2013-05-13 Thread Giovanni Campagna
2013/5/13 Bazon Bloch bazonbl...@arcor.de: Hello, is the behaviour described in the title known? I searched for that but haven't found something yet. It happens at least with https://extensions.gnome.org/extension/5/alternative-status-menu/ (e.g. my german Bereitschaft becomes Suspend) and

Mutter 3.8.2

2013-05-13 Thread Florian Müllner
About mutter Mutter is a window and compositing manager that displays and manages your desktop via OpenGL. Mutter combines a sophisticated display engine using the Clutter toolkit with solid window-management logic inherited from the Metacity window manager. While Mutter can be used

GNOME Shell 3.8.2

2013-05-13 Thread Florian Müllner
About GNOME Shell = GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to