Permalink
Browse files

starting version 0.61; clarified in docs where aif comes from

  • Loading branch information...
vegashacker committed May 13, 2009
1 parent f3f2758 commit 599d5bb50cc1faeba6632ac884a4f22b61166b12
View
@@ -2,12 +2,12 @@
(define name "LeftParen")
-(define required-core-version "4.1.3.9")
+(define required-core-version "4.1.5")
-(define version "0.51")
+(define version "0.61")
(define release-notes
- '((p "In this version, all PLaneT \"requires\" reference an explict minor mode. This should avoid issues with the updating of 3rd party PLaneT package. See the previous release (0.5) for more info.")))
+ '((p "Updated to work with PLT 4.1.5.")))
(define primary-file "leftparen.scm")

Large diffs are not rendered by default.

Oops, something went wrong.
@@ -0,0 +1,67 @@
+// Common functionality for PLT documentation pages
+
+function GetCookie(key, def) {
+ if (document.cookie.length <= 0) return def;
+ var i, cookiestrs = document.cookie.split(/; */);
+ for (i = 0; i < cookiestrs.length; i++) {
+ var cur = cookiestrs[i];
+ var eql = cur.indexOf('=');
+ if (eql >= 0 && cur.substring(0,eql) == key)
+ return unescape(cur.substring(eql+1));
+ }
+ return def;
+}
+
+function SetCookie(key, val) {
+ var d = new Date();
+ d.setTime(d.getTime()+(365*24*60*60*1000));
+ document.cookie =
+ key + "=" + escape(val) + "; expires="+ d.toGMTString() + "; path=/";
+}
+
+// note that this always stores a directory name, ending with a "/"
+function SetPLTRoot(ver, relative) {
+ var root = location.protocol + "//" + location.host
+ + NormalizePath(location.pathname.replace(/[^\/]*$/, relative));
+ SetCookie("PLT_Root."+ver, root);
+}
+
+// adding index.html works because of the above
+function GotoPLTRoot(ver, relative) {
+ var u = GetCookie("PLT_Root."+ver, null);
+ if (u == null) return true; // no cookie: use plain up link
+ // the relative path is optional, default goes to the toplevel start page
+ if (!relative) relative = "index.html";
+ location = u + relative;
+ return false;
+}
+
+normalize_rxs = [/\/\/+/g, /\/\.(\/|$)/, /\/[^\/]*\/\.\.(\/|$)/];
+function NormalizePath(path) {
+ var tmp, i;
+ for (i = 0; i < normalize_rxs.length; i++)
+ while ((tmp = path.replace(normalize_rxs[i], "/")) != path) path = tmp;
+ return path;
+}
+
+function DoSearchKey(event, field, ver, top_path) {
+ var val = field.value;
+ if (event && event.keyCode == 13) {
+ var u = GetCookie("PLT_Root."+ver, null);
+ if (u == null) u = top_path; // default: go to the top path
+ location = u + "search/index.html" + "?q=" + escape(val);
+ return false;
+ }
+ return true;
+}
+
+function TocviewToggle(glyph,id) {
+ var s = document.getElementById(id).style;
+ var expand = s.display == "none";
+ s.display = expand ? "block" : "none";
+ glyph.innerHTML = expand ? "&#9660;" : "&#9658;";
+}
+
+// `noscript' is problematic in some browsers (always renders as a
+// block), use this hack instead (does not always work!)
+// document.write("<style>mynoscript { display:none; }</style>");
Oops, something went wrong.

0 comments on commit 599d5bb

Please sign in to comment.