fix IE detection for IE9

This commit is contained in:
Fabian Jakobs 2011-08-18 17:28:32 +02:00
commit 41c625aca8
3 changed files with 3 additions and 3 deletions

View file

@ -250,7 +250,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";

View file

@ -183,7 +183,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)

@ -1 +1 @@
Subproject commit b60e9954e67887a01abc12a56db1e11495ef961d
Subproject commit 0ec977f5e49714ea0d1e560acb93a6e388c6d028