fix local TOC in latex output
svn: r6288 original commit: 7d9f2d8b6a8365c7246012e55a73b03eb6f52322
This commit is contained in:
parent
2db9f68d91
commit
97d55239bd
|
@ -254,6 +254,9 @@
|
||||||
(define/public (table-of-contents part ht)
|
(define/public (table-of-contents part ht)
|
||||||
(make-table #f (render-toc part #t)))
|
(make-table #f (render-toc part #t)))
|
||||||
|
|
||||||
|
(define/public (local-table-of-contents part ht)
|
||||||
|
(table-of-contents part ht))
|
||||||
|
|
||||||
(define/private (render-toc part skip?)
|
(define/private (render-toc part skip?)
|
||||||
(let ([number (collected-info-number (part-collected-info part))])
|
(let ([number (collected-info-number (part-collected-info part))])
|
||||||
(let ([subs
|
(let ([subs
|
||||||
|
|
|
@ -178,12 +178,18 @@
|
||||||
|
|
||||||
;; ----------------------------------------
|
;; ----------------------------------------
|
||||||
|
|
||||||
(provide table-of-contents)
|
(provide table-of-contents
|
||||||
|
local-table-of-contents)
|
||||||
|
|
||||||
(define (table-of-contents)
|
(define (table-of-contents)
|
||||||
(make-delayed-flow-element
|
(make-delayed-flow-element
|
||||||
(lambda (renderer part ht)
|
(lambda (renderer part ht)
|
||||||
(send renderer table-of-contents part ht)))))
|
(send renderer table-of-contents part ht))))
|
||||||
|
|
||||||
|
(define (local-table-of-contents)
|
||||||
|
(make-delayed-flow-element
|
||||||
|
(lambda (renderer part ht)
|
||||||
|
(send renderer local-table-of-contents part ht)))))
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
|
@ -229,6 +229,9 @@
|
||||||
;; FIXME: isn't local to the section
|
;; FIXME: isn't local to the section
|
||||||
(make-toc-paragraph null))
|
(make-toc-paragraph null))
|
||||||
|
|
||||||
|
(define/override (local-table-of-contents part ht)
|
||||||
|
(make-paragraph null))
|
||||||
|
|
||||||
;; ----------------------------------------
|
;; ----------------------------------------
|
||||||
|
|
||||||
(super-new))))
|
(super-new))))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user