Support user styles even when there is no HEAD

This commit is contained in:
Arnaud Renevier 2008-08-22 04:14:28 +02:00 committed by Christian Dywan
parent b371ab8da0
commit d30b2bc22c

View file

@ -626,7 +626,9 @@ _js_style_from_file (JSContextRef js_context,
"var mystyle = document.createElement(\"style\");" "var mystyle = document.createElement(\"style\");"
"mystyle.setAttribute(\"type\", \"text/css\");" "mystyle.setAttribute(\"type\", \"text/css\");"
"mystyle.appendChild(document.createTextNode('%s'));" "mystyle.appendChild(document.createTextNode('%s'));"
"document.getElementsByTagName(\"head\")[0].appendChild(mystyle);" "var head = document.getElementsByTagName(\"head\")[0];"
"if (head) head.appendChild(mystyle);"
"else document.documentElement.insertBefore(mystyle, document.documentElement.firstChild);"
"}, true);", "}, true);",
style); style);
if (gjs_script_eval (js_context, style_script, exception)) if (gjs_script_eval (js_context, style_script, exception))