some more IE fixes

lib/ace/test/all_browser.js

@@ -1,5 +1,6 @@
 define(function(require, exports, module) {
 
+require("pilot/fixoldbrowsers");
 var async = require("asyncjs");
 var dom = require("pilot/dom");
 

lib/ace/tokenizer.js

@@ -75,7 +75,7 @@ var Tokenizer = function(rules) {
             var value = match[0];
 
             for ( var i = 0; i < state.length; i++) {
-                if (match[i + 1] !== undefined) {
+                if (match[i + 1]) {
                     if (typeof state[i].token == "function") {
                         type = state[i].token(match[0]);
                     }
@@ -109,10 +109,10 @@ var Tokenizer = function(rules) {
             }
             
             if (lastIndex == line.length) {
-		        break;
-	        }
+    	        break;
+            }
             
-	        lastIndex = re.lastIndex;
+            lastIndex = re.lastIndex;
         };
 
         if (token.type) {

support/pilot

@@ -1 +1 @@
-Subproject commit 0727a1470a97de91e8e97c21334d5692382fb9ea
+Subproject commit 5d642573259ba8a77456d3fa066beb2f1b2be23a