suzanne.soy/scribble-enhanced
1
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

toc links on main pages go to user pages where needed

Browse Source 
svn: r9993

original commit: 9b0492e320cf761bd2831fabd64c12e723967092
This commit is contained in:
Eli Barzilay 2008-05-28 00:20:58 +00:00
parent 584258ff25
commit b47b1682f1
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/scribble/manual.ss
View File

@ -335,8 +335,8 @@
(define (procedure . str) (define (procedure . str)
(make-element "schemeresult" `("#<procedure:" ,@(decode-content str) ">"))) (make-element "schemeresult" `("#<procedure:" ,@(decode-content str) ">")))
(define (link url (define (link url
#:underline? [underline? #t] #:underline? [underline? #t]
#:style [style (if underline? #f "plainlink")] #:style [style (if underline? #f "plainlink")]
. str) . str)
(make-element (make-target-url url style) (make-element (make-target-url url style)

6
collects/scribble/scribble-common.js
View File

@ -27,10 +27,12 @@ function SetPLTRoot(ver, relative) {
} }
// adding index.html works because of the above // adding index.html works because of the above
function GotoPLTRoot(ver) { function GotoPLTRoot(ver, relative) {
var u = GetCookie("PLT_Root."+ver); var u = GetCookie("PLT_Root."+ver);
if (u == null) return true; // no cookie: use plain up link if (u == null) return true; // no cookie: use plain up link
location = u + "index.html"; // the relative path is optional, default goes to the toplevel start page
if (!relative) relative = "index.html";
location = u + relative;
return false; return false;
} }