suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

* always have a navbar, even at the start page

Browse Source 
* add a "top" link to the navbar
* move search box to the left

svn: r10573

original commit: 3a18f5b9a2c7c2b0f8cb34a5f90a62f18373ff1c
This commit is contained in:
Eli Barzilay 2008-07-03 07:05:20 +00:00
parent 995a809f7e
commit 857ccd4fc6
1 changed files with 58 additions and 58 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

116
collects/scribble/html-render.ss
View File

@ -554,12 +554,13 @@
(values prev (and (pair? (cdr l)) (cadr l))) (values prev (and (pair? (cdr l)) (cadr l)))
(loop (cdr l) (car l)))))) (loop (cdr l) (car l))))))
(define top-content '("top"))
(define contents-content '("contents")) (define contents-content '("contents"))
(define index-content '("index")) (define index-content '("index"))
(define prev-content '(larr " prev")) (define prev-content '(larr " prev"))
(define up-content '("up")) (define up-content '("up"))
(define next-content '("next " rarr)) (define next-content '("next " rarr))
(define sep-element (make-element #f '(nbsp nbsp))) (define sep-element (make-element #f '(nbsp nbsp)))
(define/public (derive-filename d) "bad.html") (define/public (derive-filename d) "bad.html")
@ -611,63 +612,62 @@
(make-with-attributes #f (make-with-attributes #f
`([title . ,(if title* (string-append label " to " title*) label)] `([title . ,(if title* (string-append label " to " title*) label)]
,@more)))) ,@more))))
(define (navbar) (define top-link
(titled-url
"up" "../index.html"
`[onclick . ,(format "return GotoPLTRoot(\"~a\");" (version))]))
(define navleft
`(span ([class "navleft"])
,(search-box)
nbsp
,@(render (make-element (if up-path top-link "nonavigation")
top-content))
nbsp
,@(render (make-element
(if parent
(make-target-url "index.html" #f)
"nonavigation")
contents-content))
nbsp
,@(render (if (or (not index) (eq? d index))
(make-element "nonavigation" index-content)
(make-link-element
#f index-content (car (part-tags index)))))))
(define navright
`(span ([class "navright"])
,@(render
(make-element
(cond [(not parent) "nonavigation"]
[prev (titled-url "backward" prev)]
[else (titled-url "backward" "index.html"
#:title-from
(and (part? parent) parent))])
prev-content)
sep-element
(make-element
(cond
[(and (part? parent) (toc-part? parent) (part-parent parent ri))
(titled-url "up" parent)]
[parent (titled-url "up" "index.html" #:title-from parent)]
;; up-path = #t => go up to the start page, using
;; cookies to get to the user's version of it (see
;; scribblings/main/private/utils for the code that
;; creates these cookies.)
[(eq? #t up-path) top-link]
[up-path (titled-url "up" up-path)]
[else "nonavigation"])
up-content)
sep-element
(make-element
(if next (titled-url "forward" next) "nonavigation")
next-content))))
(define navbar
`(div ([class "navset"] `(div ([class "navset"]
[style ,(let ([v (if top? 'bottom 'top)]) [style ,(let ([v (if top? 'bottom 'top)])
(format "margin-~a: 2em; border-~a: ~a" (format "margin-~a: 2em; border-~a: ~a"
v v "2px solid #e0e0c0;"))]) v v "2px solid #e0e0c0;"))])
(span ([class "navleft"]) ,navleft ,navright nbsp)) ; need nbsp to make the navset bg visible
,@(render (make-element (list navbar))
(if parent
(make-target-url "index.html" #f)
"nonavigation")
contents-content))
,@(if index
`(nbsp
,@(render (if (eq? d index)
(make-element "nonavigation" index-content)
(make-link-element
#f index-content (car (part-tags index)))))
#; ; no need for these index-local searches
,@(if (eq? d index)
null
`((span ([class "smaller"]) nbsp ,(search-index-box)))))
null)
,@(if up-path `(nbsp ,(search-box)) null))
(span ([class "navright"])
,@(render
(make-element
(cond [(not parent) "nonavigation"]
[prev (titled-url "backward" prev)]
[else (titled-url "backward" "index.html"
#:title-from
(and (part? parent) parent))])
prev-content)
sep-element
(make-element
(cond
[(and (part? parent) (toc-part? parent)
(part-parent parent ri))
(titled-url "up" parent)]
[parent (titled-url "up" "index.html" #:title-from parent)]
;; up-path = #t => go up to the start page, using
;; cookies to get to the user's version of it (see
;; scribblings/main/private/utils for the code that
;; creates these cookies.)
[(eq? #t up-path)
(titled-url
"up" "../index.html"
`[onclick
. ,(format "return GotoPLTRoot(\"~a\");" (version))])]
[up-path (titled-url "up" up-path)]
[else "nonavigation"])
up-content)
sep-element
(make-element
(if next (titled-url "forward" next) "nonavigation")
next-content)))
nbsp)) ; needed to make the navset background visible
(if (or prev next parent index up-path) (list (navbar)) null))
(define/override (render-one d ri fn) (define/override (render-one d ri fn)
(render-one-part d ri fn null)) (render-one-part d ri fn null))