Differences From Artifact [5a9bf33f]:
- File tags-html.rkt — part of check-in [d7659912] at 2019-05-05 12:46:23 on branch trunk — Add ◊index tag, save index entries to cache db. Addresses [5daecde7] (user: joel, size: 8347) [annotate] [blame] [check-ins using]
To Artifact [43d9d1e5]:
- File tags-html.rkt — part of check-in [ae6010c0] at 2019-05-15 01:13:16 on branch trunk — Add keyword index page, make index links bidirectional (addresses [5daecde7]) (user: joel, size: 8444) [annotate] [blame] [check-ins using] [more...]
| ︙ | |||
118 119 120 121 122 123 124 125 126 127 | 118 119 120 121 122 123 124 125 126 127 128 | + |
(cond [(string>? file "") `(@ (div [[class "listing-filename"]] 128196 " " ,file) ,codeblock)]
[else codeblock]))
(define (html-index . elems)
`(a [[id ,(here-id (list "_idx-" (uri-encode (car elems))))]
[href ,(string-append "/keyword-index.html#" (uri-encode (string-downcase (car elems))))]
[data-index-entry ,(car elems)]
[class "index-link"]]
,@(cdr elems)))
(define (html-say . elems)
|
| ︙ |