gnome-shell/js
Emilio Pozuelo Monfort 560e976ee9 extensionSystem: handle reloading broken extensions
Some extensions out there may fail to reload. When that happens,
we need to catch any exceptions so that we don't leave things in
a broken state that could lead to leaving extensions enabled in
the screen shield.

https://bugzilla.gnome.org/show_bug.cgi?id=781728
2017-04-25 22:04:29 +02:00
..
extensionPrefs extensionPrefs: Fix extension list width 2016-09-14 09:18:23 +02:00
gdm loginDialog: don't allow type ahead at the login screen 2017-02-14 03:04:05 +01:00
misc loginManager: Extend canSuspend() callback 2016-05-27 17:04:46 +02:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper portalHelper: Address intermittent TLS failures 2016-11-23 21:37:19 +01:00
ui extensionSystem: handle reloading broken extensions 2017-04-25 22:04:29 +02:00
js-resources.gresource.xml Provide org.freedesktop.impl.portal.access implementation 2016-07-20 17:14:12 +02:00
Makefile.am js/Makefile.am: Fix dependency generation with srcdir != builddir 2014-06-29 18:27:53 -04:00