Florian Müllner
a36686a6aa
extensionSystem: Fix updating extension list on session update
...
Before reenabling all extensions, we update the list of enabled extensions
to catch any changes that happened while extensions were enabled. However
this is currently broken as onEnabledExtensionsChanged() is a nop while
disabled, so just call getEnabledExtensions() directly.
2015-12-16 23:50:42 +01:00
..
2015-11-17 00:00:31 +01:00
2015-11-19 14:04:22 +01:00
2015-12-02 10:31:36 +01:00
2015-10-20 17:10:06 -04:00
2015-07-31 16:52:42 +02:00
2015-11-14 19:53:41 +01:00
2015-12-02 17:18:39 +01:00
2015-04-14 23:18:49 +02:00
2015-10-26 17:48:40 +01:00
2015-03-13 17:12:10 +01:00
2015-10-13 20:21:44 +02:00
2015-04-25 09:56:05 +02:00
2015-12-04 11:50:13 +01:00
2014-12-19 11:39:50 +01:00
2014-09-11 17:05:48 +01:00
2015-05-05 16:37:41 +02:00
2015-03-10 19:16:28 +01:00
2015-12-16 23:50:42 +01:00
2014-08-28 19:49:51 +02:00
2015-02-20 15:16:06 +01:00
2014-10-09 12:47:16 +02:00
2015-07-23 15:07:10 +02:00
2015-05-21 13:58:49 +02:00
2015-04-14 21:57:55 +02:00
2014-07-24 16:51:02 +02:00
2015-02-14 18:20:28 +01:00
2015-07-27 18:04:44 +02:00
2015-10-21 20:54:30 +02:00
2015-06-11 14:41:34 +02:00
2015-08-05 14:44:47 +02:00
2015-03-03 14:20:48 -08:00
2015-06-29 14:57:03 -07:00
2015-07-23 12:43:28 +02:00
2015-02-20 17:40:21 +01:00
2015-10-23 13:44:27 +02:00
2015-04-30 18:12:52 +02:00
2015-12-04 11:50:13 +01:00
2015-03-27 13:11:22 -07:00
2015-10-21 20:54:30 +02:00
2015-02-17 08:35:24 +01:00
2015-05-14 15:11:19 +02:00
2015-03-14 16:04:23 -07:00
2014-07-16 10:33:59 -04:00
2015-03-27 13:11:22 -07:00
2015-02-05 13:34:52 +01:00
2014-09-05 14:37:18 -07:00
2015-03-10 19:16:28 +01:00
2015-01-16 18:24:36 +01:00
2014-11-27 13:30:20 +00:00
2014-08-19 19:46:44 +02:00
2014-12-19 11:39:50 +01:00
2015-03-06 17:24:13 +01:00
2015-08-07 15:34:34 +02:00
2015-07-01 19:14:13 +02:00
2015-10-16 13:47:14 -07:00
2015-10-20 15:00:33 +02:00
2015-12-04 12:16:56 +01:00
2015-12-04 11:50:12 +01:00
2015-12-04 11:50:13 +01:00