From 667b11e013fb1bb82baf5b56cda185e1352d5dbc Mon Sep 17 00:00:00 2001 From: Joe Walker Date: Thu, 17 Mar 2011 13:07:27 +0000 Subject: [PATCH] post merge fixes to straighten paths and fix mini_require --- build_support/boot_textarea.js | 34 +++++++++++++------------- build_support/mini_require_textarea.js | 2 +- demo/boot.js | 2 +- 3 files changed, 19 insertions(+), 19 deletions(-) diff --git a/build_support/boot_textarea.js b/build_support/boot_textarea.js index 4d7e7f5..06eda27 100644 --- a/build_support/boot_textarea.js +++ b/build_support/boot_textarea.js @@ -58,7 +58,7 @@ catalog.registerPlugins([ "pilot/index" ]); var Dom = require("pilot/dom"); var Event = require("pilot/event"); -var UA = require("pilot/useragent") +var UA = require("pilot/useragent"); var Editor = require("ace/editor").Editor; var EditSession = require("ace/edit_session").EditSession; @@ -88,7 +88,7 @@ window.__ace_shadowed__.edit = function(el) { el.env = env; }); return editor; -} +}; /** @@ -203,7 +203,7 @@ function setupContainer(element, getValue) { if (oldSumit) { oldSumit.call(this, evt); } - } + }; break; } parentNode = parentNode.parentNode; @@ -284,13 +284,13 @@ window.__ace_shadowed__.transformTextarea = function(element) { editorDiv.appendChild(settingOpener); // Create the API. - var api = setupApi(editor, editorDiv, settingDiv, ace, options) + var api = setupApi(editor, editorDiv, settingDiv, ace, options); // Create the setting's panel. setupSettingPanel(settingDiv, settingOpener, api, options); return api; -} +}; function setupApi(editor, editorDiv, settingDiv, ace, options) { var session = editor.getSession(); @@ -372,7 +372,7 @@ function setupApi(editor, editorDiv, settingDiv, ace, options) { case "showPrintMargin": renderer.setShowPrintMargin(toBool(value)); - break + break; } options[key] = value; @@ -385,7 +385,7 @@ function setupApi(editor, editorDiv, settingDiv, ace, options) { getOptions: function() { return options; } - } + }; for (option in ace.options) { ret.setOption(option, ace.options[option]); @@ -398,7 +398,7 @@ function setupSettingPanel(settingDiv, settingOpener, api, options) { var BOOL = { "true": true, "false": false - } + }; var desc = { mode: "Mode:", @@ -408,7 +408,7 @@ function setupSettingPanel(settingDiv, settingOpener, api, options) { softWrap: "Soft Wrap:", showPrintMargin: "Show Print Margin:", useSoftTabs: "Use Soft Tabs:" - } + }; var optionValues = { mode: { @@ -453,13 +453,13 @@ function setupSettingPanel(settingDiv, settingOpener, api, options) { }, showPrintMargin: BOOL, useSoftTabs: BOOL - } + }; var table = []; table.push(""); function renderOption(builder, option, obj, cValue) { - builder.push(""); for (var value in obj) { builder.push("
SettingValue