package

build/textarea/src/ace-uncompressed.js

@@ -3028,7 +3028,9 @@ exports.isMac = (os == "mac");
 /** Is the user using a browser that identifies itself as Linux */
 exports.isLinux = (os == "linux");
 
-exports.isIE = ! + "\v1";
+exports.isIE = 
+    navigator.appName == "Microsoft Internet Explorer"
+    && parseFloat(navigator.userAgent.match(/MSIE ([0-9]+[\.0-9]+)/)[1])
 
 /** Is this Firefox or related? */
 exports.isGecko = exports.isMozilla = window.controllers && window.navigator.product === "Gecko";
@@ -6970,7 +6972,7 @@ var TextInput = function(parentNode, host) {
         }
     });
 
-    if (useragent.isIE) {
+    if ("onbeforecopy" in text) {
         event.addListener(text, "beforecopy", function(e) {
             var copyText = host.getCopyText();
             if(copyText)
@@ -18083,7 +18085,7 @@ window.__ace_shadowed__.transformTextarea = function(element) {
         overflow: "auto",
         fontSize: "14px"
     };
-    if (!UA.isIE) {
+    if (!UA.isIE || UA.isIE >= 9) {
         settingDivStyles.backgroundColor = "rgba(0, 0, 0, 0.6)";
     } else {
         settingDivStyles.backgroundColor = "#333";