From f818318ecc8880e957130c0d4b9b782c357f70f3 Mon Sep 17 00:00:00 2001
From: bolste <stefano.boldrin@zucchetti.it>
Date: Tue, 28 Jun 2011 06:16:15 -0700
Subject: [PATCH] Cleaned global scope from "option" var

---
 build_support/boot_textarea.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build_support/boot_textarea.js b/build_support/boot_textarea.js
index 6df557a2..27e0c374 100644
--- a/build_support/boot_textarea.js
+++ b/build_support/boot_textarea.js
@@ -382,7 +382,7 @@ function setupApi(editor, editorDiv, settingDiv, ace, options) {
         }
     }
 
-    for (option in ace.options) {
+    for (var option in ace.options) {
         ret.setOption(option, ace.options[option]);
     }