-
Notifications
You must be signed in to change notification settings - Fork 6
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Minor changes to the generator code (to work for 1 3 on PLaneT); prep…
…ping for submission to PLaneT; updated the docs
- Loading branch information
1 parent
960eb7b
commit 21f4482
Showing
7 changed files
with
213 additions
and
210 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,9 @@ | ||
#lang setup/infotab | ||
(define name "LeftParen") | ||
(define blurb '("LeftParen lets you make web apps quickly.")) | ||
(define release-notes '("This is still early stage software, so be warned. That said, feel free to contact me with any issues you encounter. I'm happy to help out.")) | ||
(define blurb '((p "LeftParen lets you make web apps quickly."))) | ||
(define release-notes '((p "This is a major upgrade that is now compatible with PLT 4.1. There are many other miscellaneous improvements too."))) | ||
(define primary-file "leftparen.scm") | ||
(define version "0.3") | ||
(define doc.txt "doc.txt") | ||
(define scribblings '(("doc.scrbl" ()))) | ||
(define required-core-version "4.1") | ||
(define repositories '("4.x")) | ||
(define categories '(devtools net)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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 ? "▼" : "►"; | ||
} | ||
|
||
// `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.