On Sun, Jun 09, 2013 at 04:38:40AM -0400, A Fascilla wrote: > > "Kailash" wrote: > > >You can install gnome-shell-extensions and you should have the power off > >option available. > >https://extensions.gnome.org/ > > Now I have understood it is the "Alternative Status Menu" extension > > https://extensions.gnome.org/extension/5/alternative-status-menu/ > > and can be enable or disabled from the link above or from > > https://extensions.gnome.org/local/ > > (I write this here so that who has the same problem can easily find how to > make the change.) > > > I have to conclude that I had it always been installed (since transition > from squeeze) and I had never realized that what I see was not the normal > plain gnome. > > I am pretty sure I have not turned it off, so it is a little strange that the > menu changed (the only thing I remember I have done was to use the suspend > function, while I usually use the shutdown). > > I have struggled to look in the gnome options, but with no luck. And now I > can understand the reason: it is an extension not an option. > Thank you very much, Kailash, this solve the mystery ... > and many thanks to Antti too
If you install the "Advanced Settings" panel (Google for it re Gnome-Shell) you can enable/disable all installed Gnome-Shell extensions. I love Gnome-Shell -- Didn't at first, but it grows on you. :) > Sincerely, > > Andrea Fascilla > > -- Cheers, Stephen, Toronto My Google+ Profile | http://goo.gl/JbQsq -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20130609113811.ga10...@thunkpad.gateway.2wire.net