add the indicator div

svn: r17040 original commit: 210ef8c4f1d843ba746aa28806703ed61a2997c8
2009-11-24 13:38:15 +00:00 · 2009-11-24 13:38:15 +00:00 · b6ec39f258
commit b6ec39f258
parent 5190646f36
1 changed files with 2 additions and 1 deletions
--- 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)))