Overview
| Comment: | Undo my terrible idea for page-number notation |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
9a7cf2fd5d33632c28648d8154c66728 |
| User & Date: | joel on 2019-04-27 03:11:09 |
| Other Links: | manifest | tags |
Context
|
2019-04-27
| ||
| 03:31 | Fix cache watchlist check-in: ce114f72 user: joel tags: trunk | |
| 03:11 | Undo my terrible idea for page-number notation check-in: 9a7cf2fd user: joel tags: trunk | |
|
2019-04-18
| ||
| 03:08 | Add blog check-in: 8145bdb7 user: joel tags: trunk | |
Changes
Modified snippets-html.rkt from [1579b523] to [55ae0657].
| ︙ | ︙ | |||
162 163 164 165 166 167 168 |
(define (html$-notes-section note-htmls)
◊string-append{<div class="further-notes" id="furthernotes">
<h2>Further Notes</h2>
◊(apply string-append note-htmls)
</div>})
;; (private) Returns HTML for a list-item link to a particular page in a set of numbered pages
| | | 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 |
(define (html$-notes-section note-htmls)
◊string-append{<div class="further-notes" id="furthernotes">
<h2>Further Notes</h2>
◊(apply string-append note-htmls)
</div>})
;; (private) Returns HTML for a list-item link to a particular page in a set of numbered pages
(define (html$-paginate-link basename pagenum [linktext (number->string pagenum)] [class ""])
(define cstr (if (non-empty-string? class) (format " class=\"~a\"" class) ""))
(format "<li~a><a href=\"/~a-pg~a.html\">~a</a></li>" cstr basename pagenum linktext))
;; Returns HTML for a series of list items with links to numbered pages
(define (html$-paginate-navlinks pagenum pagecount basename)
(define slots 9)
(define on-first-group? (<= pagenum (- slots 4)))
|
| ︙ | ︙ |