7395aaf9b4
When gnome-shell fails to start on login, gnome-session tries to re-launch it again with all extensions disabled. This is currently implemented by clearing the list of enabled extensions, which means the user needs to re-enable their extensions manually again. To make this process less annoying, add a single 'kill-switch' setting gnome-session can use without interfering with the user setting. https://bugzilla.gnome.org/show_bug.cgi?id=778664
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 provide a visually attractive and easy to use experience. For more information about GNOME Shell, including instructions on how to build GNOME Shell from source and how to get involved with the project, see: https://wiki.gnome.org/Projects/GnomeShell Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell' product. License ======= GNOME Shell is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.