From b07234e8ee6a45da2ac450dbd3454c035c0b44c0 Mon Sep 17 00:00:00 2001 From: Wei Tang Date: Sun, 15 Jan 2017 22:06:50 +0800 Subject: [PATCH] Handle nested collect-element inside a traverse-element --- scribble-lib/scribble/base-render.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scribble-lib/scribble/base-render.rkt b/scribble-lib/scribble/base-render.rkt index d73c0a35..ee5aa443 100644 --- a/scribble-lib/scribble/base-render.rkt +++ b/scribble-lib/scribble/base-render.rkt @@ -680,6 +680,8 @@ (begin (when (target-element? i) (collect-target-element i ci)) (when (index-element? i) (collect-index-element i ci)) (when (collect-element? i) ((collect-element-collect i) ci)) + (when (traverse-element? i) + (collect-content (traverse-element-content i ci) ci)) (when (element? i) (collect-content (element-content i) ci)) (when (multiarg-element? i)