From 5db6824f28f04b8b4df2566dada92b58d307dec8 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 1 Dec 2011 16:51:05 +0100
Subject: [PATCH] disable logging

---
 lib/ace/edit_session/folding.js | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/lib/ace/edit_session/folding.js b/lib/ace/edit_session/folding.js
index 170a82e4..eb71ac4d 100644
--- a/lib/ace/edit_session/folding.js
+++ b/lib/ace/edit_session/folding.js
@@ -849,6 +849,7 @@ Folding.commonFoldingRules = {
 //                "th": 1
 //            };
             
+            // limited XML parsing to find matching tag
             do {
                 var token = iterator.getCurrentToken();
                 
@@ -870,7 +871,7 @@ Folding.commonFoldingRules = {
                             column: iterator.getCurrentTokenColumn() + (isBack ? 0 : value.length + 1)
                         };
 
-                        console.log("push", tagName)
+                        // console.log("push", tagName)
                         stack.push(tagName);
                     }
                     else {
@@ -883,7 +884,7 @@ Folding.commonFoldingRules = {
                         
                         if (close) {
                             if (stack[stack.length-1] == tagName) {
-                                console.log("pop", tagName)
+                                // console.log("pop", tagName)
                                 stack.pop();
                                 if (stack.length == 0) {
                                     end = {
@@ -897,11 +898,11 @@ Folding.commonFoldingRules = {
                                 }
                             }
                             else {
-                                console.error("unmatched tags!", tagName, stack)
+                                // console.error("unmatched tags!", tagName, stack)
                             }
                         }
                         else {
-                            console.log("push", tagName)
+                            // console.log("push", tagName)
                             stack.push(tagName);
                         }
                     }