From b6ec39f258e68c498d65e4c437681597e704bfa7 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 24 Nov 2009 13:38:15 +0000 Subject: [PATCH] add the indicator div svn: r17040 original commit: 210ef8c4f1d843ba746aa28806703ed61a2997c8 --- collects/scribble/html-render.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss index 1e36b257..246cb59d 100644 --- a/collects/scribble/html-render.ss +++ b/collects/scribble/html-render.ss @@ -620,7 +620,8 @@ (render-version d ri)) ,@(navigation d ri #t) ,@(render-part d ri) - ,@(navigation d ri #f))))))))))) + ,@(navigation d ri #f))) + (div ([id "langindicator"]) nbsp))))))))) (define/private (part-parent d ri) (collected-info-parent (part-collected-info d ri)))