Extensions config for text editor

IPython/html/static/edit/js/main.js

@@ -7,6 +7,7 require([
     'base/js/page',
     'base/js/events',
     'contents',
+    'services/config',
     'edit/js/editor',
     'edit/js/menubar',
     'edit/js/notificationarea',
@@ -17,6 +18,7 require([
     page,
     events,
     contents,
+    configmod,
     editor,
     menubar,
     notificationarea
@@ -26,6 +28,8 require([
     var base_url = utils.get_body_data('baseUrl');
     var file_path = utils.get_body_data('filePath');
     contents = new contents.Contents({base_url: base_url});
+    var config = new configmod.ConfigSection('edit', {base_url: base_url})
+    config.load();
     
     var editor = new editor.Editor('#texteditor-container', {
         base_url: base_url,
@@ -48,6 +52,13 require([
     });
     notification_area.init_notification_widgets();
 
+    config.loaded.then(function() {
+        if (config.data.load_extensions) {
+            var nbextension_paths = Object.getOwnPropertyNames(
+                                        config.data.load_extensions);
+            IPython.load_extensions.apply(this, nbextension_paths);
+        }
+    });
     editor.load();
     page.show();
 });