@@ -26,11 +26,13 @@ define(function (require, exports, module) {
2626
2727 var _ = require ( "thirdparty/lodash" ) ;
2828
29- var ExtensionManager = require ( "extensibility/ExtensionManager" ) ,
30- registry_utils = require ( "extensibility/registry_utils" ) ,
31- EventDispatcher = require ( "utils/EventDispatcher" ) ,
32- Strings = require ( "strings" ) ,
33- PreferencesManager = require ( "preferences/PreferencesManager" ) ;
29+ const ExtensionManager = require ( "extensibility/ExtensionManager" ) ,
30+ registry_utils = require ( "extensibility/registry_utils" ) ,
31+ EventDispatcher = require ( "utils/EventDispatcher" ) ,
32+ Strings = require ( "strings" ) ,
33+ PreferencesManager = require ( "preferences/PreferencesManager" ) ,
34+ DefaultExtensions = JSON . parse ( require ( "text!extensions/default/DefaultExtensions.json" ) ) ,
35+ dontLoadExtensionIDs = new Set ( DefaultExtensions . dontLoadExtensions . extensionIDs ) ;
3436
3537 /**
3638 * @private
@@ -307,6 +309,9 @@ define(function (require, exports, module) {
307309 return entry . registryInfo && entry . registryInfo . metadata . theme ;
308310
309311 } )
312+ . filter ( function ( entry ) {
313+ return ! dontLoadExtensionIDs . has ( entry . registryInfo . metadata . name ) ;
314+ } )
310315 . map ( function ( entry ) {
311316 return entry . registryInfo . metadata . name ;
312317 } ) ;
@@ -555,6 +560,9 @@ define(function (require, exports, module) {
555560 . filter ( function ( key ) {
556561 return self . extensions [ key ] . installInfo &&
557562 self . extensions [ key ] . installInfo . locationType === ExtensionManager . LOCATION_DEFAULT ;
563+ } )
564+ . filter ( function ( key ) {
565+ return ! dontLoadExtensionIDs . has ( key ) ;
558566 } ) ;
559567 this . _sortFullSet ( ) ;
560568 this . _setInitialFilter ( ) ;
0 commit comments