moving files from pilot to ace where they more properly belong
This commit is contained in:
parent
a48d0e7688
commit
1e24a23ca5
17 changed files with 1176 additions and 44 deletions
|
|
@ -42,8 +42,8 @@ var require = window.__ace_shadowed__.require;
|
|||
var deps = [
|
||||
"pilot/fixoldbrowsers",
|
||||
"pilot/index",
|
||||
"pilot/plugin_manager",
|
||||
"pilot/environment",
|
||||
"ace/plugin_manager",
|
||||
"ace/environment",
|
||||
"ace/editor",
|
||||
"ace/edit_session",
|
||||
"ace/virtual_renderer",
|
||||
|
|
@ -77,7 +77,7 @@ window.__ace_shadowed__.edit = function(el) {
|
|||
var editor = new Editor(new Renderer(el, "ace/theme/textmate"));
|
||||
editor.setSession(doc);
|
||||
|
||||
var env = require("pilot/environment").create();
|
||||
var env = require("ace/environment").create();
|
||||
catalog.startupPlugins({ env: env }).then(function() {
|
||||
env.document = doc;
|
||||
env.editor = env;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue