[evolution/wip/mcrha/webkit-jsc-api] EvoEditor.UpdateStyleSheet: Use innerHTML instead of innerText for STYLE element

[Milan Crha <mcrha src gnome org>]

commit a8ccd7a0266aa135dbbc26308277b9b9c624af4a
Author: Milan Crha <mcrha redhat com>
Date:   Tue Apr 21 14:28:13 2020 +0200

    EvoEditor.UpdateStyleSheet: Use innerHTML instead of innerText for STYLE element
    
    To workaround https://bugs.webkit.org/show_bug.cgi?id=210595

 data/webkit/e-editor.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/data/webkit/e-editor.js b/data/webkit/e-editor.js
index b7e004a2ca..4ba4536573 100644
--- a/data/webkit/e-editor.js
+++ b/data/webkit/e-editor.js
@@ -2648,10 +2648,10 @@ EvoEditor.UpdateStyleSheet = function(id, css)
 
        for (ii = 0; ii < styles.length; ii++) {
                if (styles[ii].id == id) {
-                       res = styles[ii].innerText;
+                       res = styles[ii].innerHTML;
 
                        if (css)
-                               styles[ii].innerText = css;
+                               styles[ii].innerHTML = css;
                        else
                                document.head.removeChild(styles[ii]);
 
@@ -2664,7 +2664,7 @@ EvoEditor.UpdateStyleSheet = function(id, css)
 
                style = document.createElement("STYLE");
                style.id = id;
-               style.innerText = css;
+               style.innerHTML = css;
                document.head.append(style);
        }