diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2010-06-15 16:09:36 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2010-06-15 16:09:36 +0000 |
| commit | bf1b8d136d862e5e4d5a6bba3c05254327542281 (patch) | |
| tree | 3c2e4dbe16161f093edf7832af76dcbf1268302d /src/compiler/scala/tools/nsc/doc/html/page/Index.scala | |
| parent | 1e0846707622d0301b821cec67d3d0aac6361273 (diff) | |
| download | scala-bf1b8d136d862e5e4d5a6bba3c05254327542281.tar.gz scala-bf1b8d136d862e5e4d5a6bba3c05254327542281.tar.bz2 scala-bf1b8d136d862e5e4d5a6bba3c05254327542281.zip | |
[scaladoc] New display mode for members: ordere...
[scaladoc] New display mode for members: ordered by inheritance class.
Review by malayeri.
Diffstat (limited to 'src/compiler/scala/tools/nsc/doc/html/page/Index.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/doc/html/page/Index.scala | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/html/page/Index.scala b/src/compiler/scala/tools/nsc/doc/html/page/Index.scala index 784a92f1ff..8675058c24 100644 --- a/src/compiler/scala/tools/nsc/doc/html/page/Index.scala +++ b/src/compiler/scala/tools/nsc/doc/html/page/Index.scala @@ -26,17 +26,18 @@ class Index(universe: Universe) extends HtmlPage { def headers = <xml:group> <link href={ relativeLinkTo(List("index.css", "lib")) } media="screen" type="text/css" rel="stylesheet"/> - <script type="text/javascript" src={ relativeLinkTo{List("index.js", "lib")} }></script> + <script type="text/javascript" src={ relativeLinkTo{List("jquery.js", "lib")} }></script> <script type="text/javascript" src={ relativeLinkTo{List("scheduler.js", "lib")} }></script> + <script type="text/javascript" src={ relativeLinkTo{List("index.js", "lib")} }></script> </xml:group> def body = <body> <div id="library"> - <img class='class icon' src='lib/class.png'/> - <img class='trait icon' src='lib/trait.png'/> - <img class='object icon' src='lib/object.png'/> - <img class='package icon' src='lib/package.png'/> + <img class='class icon' width="13" height="13" src='lib/class.png'/> + <img class='trait icon' width="13" height="13" src='lib/trait.png'/> + <img class='object icon' width="13" height="13" src='lib/object.png'/> + <img class='package icon' width="13" height="13" src='lib/package.png'/> </div> <div id="browser"> <div id="filter"></div> |