From df90c36a13d51ef27b9d07c60760322260250538 Mon Sep 17 00:00:00 2001 From: Pedro Furlanetto Date: Mon, 20 Sep 2010 03:10:18 +0000 Subject: 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. --- .../scala/tools/nsc/doc/html/page/ReferenceIndex.scala | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) (limited to 'src/compiler/scala/tools/nsc/doc/html/page/ReferenceIndex.scala') 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 = - + val groupedMembers = indexModel(letter) - def indexLinks = -

- { 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) - {l.toUpper} - else - xml.Text(l.toUpper.toString) ) ++ xml.Text(" | ") - } } -

def body = - { indexLinks } { for(groups <- groupedMembers) yield {

{ groups._1 }

-- cgit v1.2.3