From 95c00da5ea1cd0372632238a775668c005e0d2fc Mon Sep 17 00:00:00 2001
From: Peter Krautzberger
Date: Fri, 27 Mar 2015 11:09:44 +0100
Subject: [PATCH 1/3] for #1137: disable CHTMLpreview.js on IE<8
---
unpacked/extensions/CHTML-preview.js | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/unpacked/extensions/CHTML-preview.js b/unpacked/extensions/CHTML-preview.js
index a52ba5cde..77d2a9217 100644
--- a/unpacked/extensions/CHTML-preview.js
+++ b/unpacked/extensions/CHTML-preview.js
@@ -26,7 +26,7 @@
* limitations under the License.
*/
-(function (HUB,HTML) {
+(function (HUB,HTML,BROWSER) {
var SETTINGS = HUB.config.menuSettings;
@@ -42,7 +42,7 @@
color: "inherit!important",
updateTime: 30, updateDelay: 6,
messageStyle: "none",
- disabled: false
+ disabled: ((BROWSER.isMSIE && BROWSER.version < 8) ? true : false)
}),
//
@@ -133,7 +133,7 @@
HUB.Startup.signal.Post("CHTML-preview Ready");
-})(MathJax.Hub,MathJax.HTML);
+})(MathJax.Hub,MathJax.HTML,MathJax.Hub.Browser);
MathJax.Ajax.loadComplete("[MathJax]/extensions/CHTML-preview.js");
From c91a420b1daf1f936aa6744efa7bcc3758f4f69b Mon Sep 17 00:00:00 2001
From: Peter Krautzberger
Date: Tue, 31 Mar 2015 09:38:54 +0200
Subject: [PATCH 2/3] fix IE version check
---
unpacked/extensions/CHTML-preview.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/extensions/CHTML-preview.js b/unpacked/extensions/CHTML-preview.js
index 77d2a9217..c90683f01 100644
--- a/unpacked/extensions/CHTML-preview.js
+++ b/unpacked/extensions/CHTML-preview.js
@@ -42,7 +42,7 @@
color: "inherit!important",
updateTime: 30, updateDelay: 6,
messageStyle: "none",
- disabled: ((BROWSER.isMSIE && BROWSER.version < 8) ? true : false)
+ disabled: ((BROWSER.isMSIE && !BROWSER.versionAtLeast("8.0")) ? true : false)
}),
//
From 9263cc450638c6b83f43c447499daca211f72f05 Mon Sep 17 00:00:00 2001
From: Peter Krautzberger
Date: Tue, 7 Apr 2015 08:58:53 +0200
Subject: [PATCH 3/3] simplify browser check
as per @dpvc's suggestion
---
unpacked/extensions/CHTML-preview.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/extensions/CHTML-preview.js b/unpacked/extensions/CHTML-preview.js
index c90683f01..b834c3bf2 100644
--- a/unpacked/extensions/CHTML-preview.js
+++ b/unpacked/extensions/CHTML-preview.js
@@ -42,7 +42,7 @@
color: "inherit!important",
updateTime: 30, updateDelay: 6,
messageStyle: "none",
- disabled: ((BROWSER.isMSIE && !BROWSER.versionAtLeast("8.0")) ? true : false)
+ disabled: BROWSER.isMSIE && !BROWSER.versionAtLeast("8.0")
}),
//