From 835ef02800144de31b4c95829aaf6c57e9d6f184 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 18 Feb 2013 17:34:16 -0700 Subject: [PATCH] scribble: fix "on this page" rendering A recent change improved "on this page" handling and also fixed a short-circuit test to almost certainly do what was originally intended, but the test was wrong, so just get rid of it. original commit: 2d5884b26a8aa96cab469b31c8b4d16190f854a9 --- collects/scribble/html-render.rkt | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index df2afa4f..7fd12bf9 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -529,11 +529,6 @@ h?))) (define/private (render-onthispage-contents d ri top box-class sections-in-toc?) - (if (andmap (lambda (p) (or (part-whole-page? p ri) - (and (part-style? p 'toc-hidden) - (all-toc-hidden? p)))) - (part-parts d)) - null (let ([nearly-top? (lambda (d) ;; If ToC would be collapsed, then ;; no section is nearly the top @@ -640,7 +635,7 @@ "???") (element-content p)) d ri))))))))) - ps)))))))) + ps))))))) (define/public (extract-part-body-id d ri) (or (ormap (lambda (v)