diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-04-03 18:25:24 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-04-03 18:25:24 +0200 |
| commit | 8c63d66265ec3ef8c90f15bf908ded424f80e7de (patch) | |
| tree | 5cdcaaf292cde0c1c053ee8ebf16b307ec623c06 /src/scaladoc/scala/tools/nsc/doc/html/page/Entity.scala | |
| parent | 296e95083b0d4defda03f910b0f2c653c4745f85 (diff) | |
| download | scala-8c63d66265ec3ef8c90f15bf908ded424f80e7de.tar.gz scala-8c63d66265ec3ef8c90f15bf908ded424f80e7de.tar.bz2 scala-8c63d66265ec3ef8c90f15bf908ded424f80e7de.zip | |
Fix incorrect svg on objects with companion traits
Diffstat (limited to 'src/scaladoc/scala/tools/nsc/doc/html/page/Entity.scala')
| -rw-r--r-- | src/scaladoc/scala/tools/nsc/doc/html/page/Entity.scala | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/scaladoc/scala/tools/nsc/doc/html/page/Entity.scala b/src/scaladoc/scala/tools/nsc/doc/html/page/Entity.scala index 6076945929..836d1b4b7d 100644 --- a/src/scaladoc/scala/tools/nsc/doc/html/page/Entity.scala +++ b/src/scaladoc/scala/tools/nsc/doc/html/page/Entity.scala @@ -216,14 +216,13 @@ trait EntityPage extends HtmlPage { <body class={ tpl.kind + (if (tpl.isType) " type" else " value") }> <div id="definition"> { - val (src, alt) = docEntityKindToBigImage(tpl) - val identifier = alt.toString.substring(0,2).toLowerCase + val imageClass = docEntityImageClass(tpl) tpl.companion match { case Some(companion) if (companion.visibility.isPublic && companion.inSource != None) => - <a href={relativeLinkTo(companion)} title={docEntityKindToCompanionTitle(tpl)}><div class={s"big-circle companion $identifier"}>{ identifier.substring(0,1) }</div></a> + <a href={relativeLinkTo(companion)} title={docEntityKindToCompanionTitle(tpl)}><div class={s"big-circle $imageClass"}>{ imageClass.substring(0,1) }</div></a> case _ => - <div class={ "big-circle " + alt.toString.toLowerCase }>{ identifier.substring(0,1) }</div> + <div class={s"big-circle $imageClass"}>{ imageClass.substring(0,1) }</div> } } { owner } |