From 210ef8c4f1d843ba746aa28806703ed61a2997c8 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 --- 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 1e36b257e7..246cb59d5b 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)))