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
..
2017-04-11 01:39:03 +02:00
2016-02-12 12:12:02 +01:00
2016-11-04 16:08:10 +01:00
2017-03-01 10:55:42 +01:00
2017-02-15 23:20:14 +01:00