From d7f6809cabbface09dc1b016591774b729413f00 Mon Sep 17 00:00:00 2001
From: Mark Lentczner <markl@glyphic.com>
Date: Fri, 13 Aug 2010 22:17:48 +0000
Subject: move frames button to js

---
 html/haddock-util.js | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

(limited to 'html')

diff --git a/html/haddock-util.js b/html/haddock-util.js
index d9b0b3e4..1a57b24b 100644
--- a/html/haddock-util.js
+++ b/html/haddock-util.js
@@ -164,6 +164,17 @@ function perform_search(full)
     }
 }
 
+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);
+    }
+  }
+}
+
 function setSynopsis(filename) {
     if (parent.window.synopsis) {
       parent.window.synopsis.location = filename;
@@ -171,10 +182,8 @@ function setSynopsis(filename) {
 }
 
 function reframe() {
-  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";
 }
 
 function postReframe() {
-- 
cgit v1.2.3