[move frames button to js 
Mark Lentczner <markl@glyphic.com>**20100813221748
 Ignore-this: 43d64133300eefa3a55f1a1bce1ff094
] {
hunk ./html/haddock-util.js 167
+function addFramesButton() {
+  if (parent.location.href == window.location.href) {
+    var menu = document.getElementById("page-menu");
+    if (menu) {
+      var btn = menu.lastChild.cloneNode(false);
+      btn.innerHTML = "<a href='#' onclick='reframe();return true;'>Frames</a>";
+      menu.appendChild(btn);
+    }
+  }
+}
+
hunk ./html/haddock-util.js 185
-  if (parent.location.href == window.location.href) {
-    setCookie("haddock-reframe", document.URL);
-    window.location = "frames.html";
-  }
+  setCookie("haddock-reframe", document.URL);
+  window.location = "frames.html";
hunk ./src/Haddock/Backends/Xhtml.hs 118
-          "//<![CDATA[\nwindow.onload = function () {resetStyle();"
+          "//<![CDATA[\nwindow.onload = function () {addFramesButton();resetStyle();"
hunk ./src/Haddock/Backends/Xhtml.hs 175
-        styleMenu themes,
-        Just (anchor ! [ href "#", onclick "reframe();"] << "Frames")])
-            ! [theclass "links"],
+        styleMenu themes])
+            ! [theclass "links", identifier "page-menu"],
}