Infos about writing Gnome Shell Extensions: https://live.gnome.org/GnomeShell/Extensions http://stackoverflow.com/questions/13107743/documentation-for-writing-gnome-shell-extensions
At https://extensions.gnome.org/ are several extensions about shutdown options, e.g. https://extensions.gnome.org/extension/5/alternative-status-menu/ , maybe there is yet something matching your needs?
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
