Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py

changeset 6247
5c677a7f7d51
parent 6048
82ad8ec9548c
child 6645
ad476851d7e0
--- a/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py	Fri Apr 13 22:32:32 2018 +0200
+++ b/Helpviewer/GreaseMonkey/GreaseMonkeyJavaScript.py	Sat Apr 14 15:08:24 2018 +0200
@@ -53,7 +53,7 @@
             document.onreadystatechange = function() {
                 if (document.readyState == "interactive") {
                   var oStyle = document.createElement("style");
-                  oStyle.setAttribute("type", "text\/css");
+                  oStyle.setAttribute("type", "text/css");
                   oStyle.appendChild(document.createTextNode(styles));
                   document.getElementsByTagName("head")[0].appendChild(oStyle);
                 }
@@ -61,7 +61,7 @@
         }
         else {
             var oStyle = document.createElement("style");
-            oStyle.setAttribute("type", "text\/css");
+            oStyle.setAttribute("type", "text/css");
             oStyle.appendChild(document.createTextNode(styles));
             head.appendChild(oStyle);
         }

eric ide

mercurial