From 0f6cc173407f3dbcb911d948235bddabab8871b9 Mon Sep 17 00:00:00 2001
From: Joe Walker <jwalker@mozilla.com>
Date: Wed, 24 Nov 2010 14:14:05 +0000
Subject: [PATCH] hacking startup to setup an environment with settings

---
 demo/boot.js | 5 +++--
 editor.html  | 9 +++++++--
 2 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/demo/boot.js b/demo/boot.js
index d932871e..369d216d 100644
--- a/demo/boot.js
+++ b/demo/boot.js
@@ -114,12 +114,13 @@ var setupPlugins = function(config, callback) {
         packagePaths: pluginPackageInfo,
         paths: paths
     });
-    require(["pilot/plugin_manager"], function() {
+    require(["pilot/plugin_manager", "pilot/settings"], function() {
         var pluginsModule = require("pilot/plugin_manager");
+        var settings = require("pilot/settings").settings;
         var catalog = pluginsModule.catalog;
         catalog.registerPlugins(knownPlugins);
         if (callback) {
-            callback(pluginsModule);
+            callback(pluginsModule, settings);
         }
     });
 };
diff --git a/editor.html b/editor.html
index 3c3ee2c7..70cf92f4 100644
--- a/editor.html
+++ b/editor.html
@@ -62,8 +62,13 @@
             singleFiles: ["demo_startup"]
           }
         }
-      }, function(plugin_manager) {
-        plugin_manager.catalog.startupPlugins({}, plugin_manager.REASONS.APP_STARTUP).then(function() {
+      }, function(plugin_manager, settings) {
+        var data = {
+          env: {
+            settings: settings
+          }
+        };
+        plugin_manager.catalog.startupPlugins(data, plugin_manager.REASONS.APP_STARTUP).then(function() {
           var demo_startup = require("demo_startup");
           demo_startup.launch();
         });