gnome-shell/js
Emilio Pozuelo Monfort e1e4ce7049 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:03:34 +02:00
..
extensionPrefs extensionPrefs: Avoid a runtime warning 2017-04-20 19:19:53 +02:00
gdm gdm: Handle absence of Fprint.Manager service 2017-03-20 19:02:07 +01:00
misc WeatherClient: set enabled providers after setting a valid location 2017-04-20 17:36:25 +02:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper portalHelper: Fix portals which require a new window to be loaded 2017-04-06 12:28:43 +02:00
ui extensionSystem: handle reloading broken extensions 2017-04-25 22:03:34 +02:00
js-resources.gresource.xml location: Split out PermissionStore 2017-03-20 19:02:08 +01:00
Makefile.am Use the versioned libmutter*.so versions 2017-02-14 11:23:09 +08:00