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 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/<https://extensions.gnome.org/extension/5/alternative-status-menu/>(e.g. > my german "Bereitschaft" becomes "Suspend") and > https://extensions.gnome.org/**extension/6/applications-menu/<https://extensions.gnome.org/extension/6/applications-menu/>(the > Button title changes from "Anwendungen" to "Applications"). > It's 100% reproducaeble for me on Gnome-Shell 3.8.1 (on Arch and on Ubuntu > with Gnome 3 ppa). > > This is not too bad, but I can't imagine it's the designed behaviour. ;-) > > If it isn't known yet: > Should a Gnome-shell bug be filed or are these just extension bugs? > Or are there even workarounfs yet? > > cheers > Bazon > ______________________________**_________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/**mailman/listinfo/gnome-shell-**list<https://mail.gnome.org/mailman/listinfo/gnome-shell-list> >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
