move demo documents into separate files

This commit is contained in:
Fabian Jakobs 2011-08-16 13:22:03 +02:00
commit 426259dc2f
23 changed files with 466 additions and 495 deletions

View file

@ -39,14 +39,13 @@ define(function(require, exports, module) {
require("pilot/fixoldbrowsers");
require("pilot/plugin_manager");
require("pilot/settings");
require("pilot/environment");
require("demo/demo");
require("pilot/index");
require("ace/defaults");
var plugins = [ "pilot/index", "ace/defaults" ];
var plugins = [ "pilot/index"];
var catalog = require("pilot/plugin_manager").catalog;
catalog.registerPlugins(plugins).then(function() {
var env = require("pilot/environment").create();