[Various changes, moving towards having a moveable res/ dir (does not yet work)
Neil Mitchell**20080830005507] {
hunk ./xul/hoogle/chrome/content/main.js 8
+var resdir = getResDir();
hunk ./xul/hoogle/chrome/content/main.js 12
-    var src = xuldir.parent.parent;
-    src.append("src");
-    src.append("temp.htm");
-    return src.path;
+    var x = xuldir.parent.parent;
+    x.append("src");
+    x.append("temp.htm");
+    return x.path;
+}
+
+function getResDir()
+{
+    var x = xuldir.parent.parent;
+    x.append("src");
+    x.append("res");
+    return x.path;
hunk ./xul/hoogle/chrome/content/main.js 111
-
hunk ./xul/hoogle/chrome/content/main.js 115
-    runHoogle_cont();
+    // TODO: Should be a timeout in runHoogle_cont (if anywhere)
+    window.setTimeout(runHoogle_cont, 100);
hunk ./xul/hoogle/chrome/content/main.js 127
-    if (iframe.contentDocument.body.className != "loaded")
-    {
-        window.setTimeout(runHoogle_cont, 100);
-        return;
-    }
+    //if (iframe.contentDocument.body.className != "loaded")
+    //{
+    //    window.setTimeout(runHoogle_cont, 100);
+    //    return;
+    //}
hunk ./xul/hoogle/chrome/content/main.js 136
-    // insert a base element
-    // Does not appear to be possible, after document is loaded
-    // Best alternative is to repoint all the .js/.css links
-    /*
-    var base = iframe.contentDocument.createElement("base");
-    // TODO: Hard coded path
-    base.setAttribute("href","file:///c:/neil/hoogle/src/");
-    var head = iframe.contentDocument.documentElement.firstChild;
-    head.insertBefore(base, head.firstChild);
-    */
+    // repoint the res/ links
+    // TODO: Doesn't seem to repoint the <script> links properly
+    repoint(iframe.contentDocument, "link", "href");
+    repoint(iframe.contentDocument, "script", "src");
+    repoint(iframe.contentDocument, "img", "src");
hunk ./xul/hoogle/chrome/content/main.js 160
+
+function repoint(doc, tag, att)
+{
+    var xs = doc.getElementsByTagName(tag);
+    for (var i = 0; i < xs.length; i++)
+    {
+        var x = xs[i].getAttribute(att);
+        if (x && x.substr(0,4) == "res/")
+        {
+            xs[i].setAttribute(att,"file:///" + resdir + x.substr(3));
+        }
+    }
+}
}