[add Frames button and clean up frames.html
Mark Lentczner **20100813214341
Ignore-this: 517eba0b90d89581697afee7564e785d
] {
hunk ./html/frames.html 1
-
-
-
-
-
-
+
+
+
+
+
+
+
hunk ./html/haddock-util.js 27
+function setCookie(name, value) {
+ document.cookie = name + "=" + escape(value) + ";path=/;";
+}
+
+function clearCookie(name) {
+ document.cookie = name + "=;path=/;expires=Thu, 01-Jan-1970 00:00:01 GMT;";
+}
+
+function getCookie(name) {
+ var nameEQ = name + "=";
+ var ca = document.cookie.split(';');
+ for(var i=0;i < ca.length;i++) {
+ var c = ca[i];
+ while (c.charAt(0)==' ') c = c.substring(1,c.length);
+ if (c.indexOf(nameEQ) == 0) {
+ return unescape(c.substring(nameEQ.length,c.length));
+ }
+ }
+ return null;
+}
+
+
+
hunk ./html/haddock-util.js 173
+function reframe() {
+ if (parent.location.href == window.location.href) {
+ setCookie("haddock-reframe", document.URL);
+ window.location = "frames.html";
+ }
+}
+
+function postReframe() {
+ var s = getCookie("haddock-reframe");
+ if (s) {
+ parent.window.main.location = s;
+ clearCookie("haddock-reframe");
+ }
+}
hunk ./html/haddock-util.js 202
- document.cookie = "style=" + href + ";path=/";
+ setCookie("haddock-style", href);
hunk ./html/haddock-util.js 207
- var nameEQ = "style=";
- var s;
- var ca = document.cookie.split(';');
- for(var i=0;i < ca.length;i++) {
- var c = ca[i];
- while (c.charAt(0)==' ') c = c.substring(1,c.length);
- if (c.indexOf(nameEQ) == 0) s = c.substring(nameEQ.length,c.length);
- }
+ var s = getCookie("haddock-style");
hunk ./src/Haddock/Backends/Xhtml.hs 175
- styleMenu themes]) ! [theclass "links"],
+ styleMenu themes,
+ Just (anchor ! [ href "#", onclick "reframe();"] << "Frames")])
+ ! [theclass "links"],
}