(url, module, callback)
| 374 | }; |
| 375 | |
| 376 | function load(url, module, callback) { |
| 377 | net.loadScript(url, function() { |
| 378 | require([module], callback); |
| 379 | }); |
| 380 | } |
| 381 | |
| 382 | function setupApi(editor, editorDiv, settingDiv, ace, options, loader) { |
| 383 | var session = editor.getSession(); |