From d30b2bc22c8d214ccbe59003778076937796448b Mon Sep 17 00:00:00 2001 From: Arnaud Renevier Date: Fri, 22 Aug 2008 04:14:28 +0200 Subject: [PATCH] Support user styles even when there is no HEAD --- midori/midori-addons.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/midori/midori-addons.c b/midori/midori-addons.c index dab59530..4870c230 100644 --- a/midori/midori-addons.c +++ b/midori/midori-addons.c @@ -626,7 +626,9 @@ _js_style_from_file (JSContextRef js_context, "var mystyle = document.createElement(\"style\");" "mystyle.setAttribute(\"type\", \"text/css\");" "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);", style); if (gjs_script_eval (js_context, style_script, exception)) -- 2.39.5