Joao Moreno 37c2157978 extensions can become obsolete, so delete them on startup ...

fixes #2096

2016-01-27 18:07:51 +01:00

..

extensionPoints.ts

extensions can become obsolete, so delete them on startup

2016-01-27 18:07:51 +01:00

pluginHostMain.ts

Adding a global Env to the extension API

2016-01-20 16:28:56 -08:00

pluginHostProcess.ts

trus 'rejectionHandled' and 'unhandledRejection' events and only warn about unhandled promises after 1 second, fixes #963

2016-01-19 15:19:19 +01:00

userSettings.ts

more linting in workbench

2015-12-21 17:35:25 +01:00