[evolution/wip/webkit2] EHTMLEditorView - Set text/css type on Evolution style sheets in HEAD
- From: Tomas Popela <tpopela src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [evolution/wip/webkit2] EHTMLEditorView - Set text/css type on Evolution style sheets in HEAD
- Date: Wed, 22 Apr 2015 13:13:20 +0000 (UTC)
commit 5e588e7bddd1709aa12a244d23278c3da531c056
Author: Tomas Popela <tpopela redhat com>
Date: Mon Mar 30 11:44:09 2015 +0200
EHTMLEditorView - Set text/css type on Evolution style sheets in HEAD
web-extensions/e-html-editor-view-dom-functions.c | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/web-extensions/e-html-editor-view-dom-functions.c
b/web-extensions/e-html-editor-view-dom-functions.c
index 3b23deb..fe38120 100644
--- a/web-extensions/e-html-editor-view-dom-functions.c
+++ b/web-extensions/e-html-editor-view-dom-functions.c
@@ -1529,6 +1529,7 @@ dom_set_links_active (WebKitDOMDocument *document,
style = webkit_dom_document_create_element (document, "STYLE", NULL);
webkit_dom_element_set_id (style, "-x-evo-style-a");
+ webkit_dom_element_set_attribute (style, "type", "text/css", NULL);
webkit_dom_html_element_set_inner_text (
WEBKIT_DOM_HTML_ELEMENT (style), "a { cursor: text; }", NULL);
@@ -1947,6 +1948,7 @@ disable_quote_marks_select (WebKitDOMDocument *document)
if (!webkit_dom_document_get_element_by_id (document, "-x-evo-quote-style")) {
style_element = webkit_dom_document_create_element (document, "style", NULL);
webkit_dom_element_set_id (style_element, "-x-evo-quote-style");
+ webkit_dom_element_set_attribute (style_element, "type", "text/css", NULL);
webkit_dom_html_element_set_inner_html (
WEBKIT_DOM_HTML_ELEMENT (style_element),
".-x-evo-quoted { -webkit-user-select: none; }",
@@ -6802,6 +6804,7 @@ dom_set_link_color (WebKitDOMDocument *document,
if (!style_element) {
style_element = webkit_dom_document_create_element (document, "style", NULL);
webkit_dom_element_set_id (style_element, "-x-evo-a-color-style");
+ webkit_dom_element_set_attribute (style_element, "type", "text/css", NULL);
webkit_dom_node_append_child (
WEBKIT_DOM_NODE (head), WEBKIT_DOM_NODE (style_element), NULL);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]