diff --git a/demo/ie7.html b/demo/ie7.html new file mode 100644 index 00000000..3a525f86 --- /dev/null +++ b/demo/ie7.html @@ -0,0 +1,44 @@ + + +
+ + +
+require("ace/ext/old_ie");
+// now ace will work even on ie7!
+var editor = ace.edit("editor");
+
+
+
+
+
+
+
+
+
diff --git a/demo/ie_quirks.html b/demo/ie_quirks.html
deleted file mode 100644
index 26a62c58..00000000
--- a/demo/ie_quirks.html
+++ /dev/null
@@ -1,42 +0,0 @@
-
-
-
-
-
- function foo(items) {
- var i;
- for (i = 0; i < items.length; i++) {
- alert("Ace Rocks " + items[i]);
- }
-}
-
-
-
-
-
-
diff --git a/lib/ace/ext/old_ie.js b/lib/ace/ext/old_ie.js
index 5afd94b0..57774b03 100644
--- a/lib/ace/ext/old_ie.js
+++ b/lib/ace/ext/old_ie.js
@@ -44,7 +44,8 @@ function patch(obj, name, regexp, replacement) {
if (useragent.isIE && useragent.isIE < 10 && window.top.document.compatMode === "BackCompat")
useragent.isOldIE = true;
-if (typeof document != "undefined" && !document.documentElement.querySelector) {
+if (typeof document != "undefined" && !document.documentElement.querySelector) {
+ useragent.isOldIE = true;
var qs = function(el, selector) {
if (selector.charAt(0) == ".") {
var classNeme = selector.slice(1);
@@ -103,4 +104,6 @@ patch(
}"
);
+useragent.isOldIE = true;
+
});