diff options
| author | Pedro Furlanetto <pedrofurla@gmail.com> | 2010-09-20 03:10:18 +0000 |
|---|---|---|
| committer | Pedro Furlanetto <pedrofurla@gmail.com> | 2010-09-20 03:10:18 +0000 |
| commit | df90c36a13d51ef27b9d07c60760322260250538 (patch) | |
| tree | 74f09430f65063e3c9c2a20a49720efafc0d52d3 /src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala | |
| parent | fd2bfa28b0aaa2d9f7fa3a0dd702fcb0c93b80a4 (diff) | |
| download | scala-df90c36a13d51ef27b9d07c60760322260250538.tar.gz scala-df90c36a13d51ef27b9d07c60760322260250538.tar.bz2 scala-df90c36a13d51ef27b9d07c60760322260250538.zip | |
Adds links from letters to the reference index ...
Adds links from letters to the reference index on the upper section
of the left frame. Needs some layout/color improvements. Review by
dubochet.
Diffstat (limited to 'src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala')
| -rwxr-xr-x | src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala b/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala index 124b6852ba..7bdd5b22ea 100755 --- a/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala +++ b/src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala @@ -22,23 +22,12 @@ class ReferenceIndex(letter: Char, indexModel: model.IndexModelFactory#IndexMode def headers = <xml:group> <link href={ relativeLinkTo(List("ref-index.css", "lib")) } media="screen" type="text/css" rel="stylesheet"/> - <script type="text/javascript" src={ relativeLinkTo{List("jquery.js", "lib")} }></script> + <script type="text/javascript" src={ relativeLinkTo{List("jquery.js", "lib")} }></script> </xml:group> val groupedMembers = indexModel(letter) - def indexLinks = - <div class="letters"> - { for(l <- indexModel.keySet.toList.sortBy( _.toString )) yield { // TODO there should be a better way to do that - val ch = if(l=='#') "%23" else l // url encoding if needed - ( if(letter != l) - <span><a href={"index-"+ch+".html"}>{l.toUpper}</a></span> - else - xml.Text(l.toUpper.toString) ) ++ xml.Text(" | ") - } } - </div> def body = <body> - { indexLinks } { for(groups <- groupedMembers) yield { <div class="entry"> <div class="name">{ groups._1 }</div> |