Benjamin Pasero 63f8136c51 remove usage of EventSource in favour of Event & Emitter (fixes #1522)

2015-12-21 15:32:12 +01:00

..

extensionPoints.ts

load latest extension version

2015-12-16 08:34:08 +00:00

pluginHostMain.ts

debt - rename PluginHostXYZ to ExtHostXYZ, do the same for filenames

2015-12-21 11:46:00 +01:00

pluginHostProcess.ts

Call extension deactivate(), dispose subscriptions on extension host shutdown

2015-12-09 13:21:51 +01:00

proxy.ts

remove leftover console.log

2015-12-09 16:09:22 +01:00

userSettings.ts

remove usage of EventSource in favour of Event & Emitter (fixes #1522)

2015-12-21 15:32:12 +01:00