diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-05 15:36:12 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:23 +0200 |
| commit | 07e4ae210b34e64a84731133f6ea4761baa19057 (patch) | |
| tree | 0f254d28d304402486d72712a5060c6481596857 /dottydoc/jvm/src | |
| parent | 8e39b71b29afd7951745dbaf957eade0e9f51434 (diff) | |
| download | dotty-07e4ae210b34e64a84731133f6ea4761baa19057.tar.gz dotty-07e4ae210b34e64a84731133f6ea4761baa19057.tar.bz2 dotty-07e4ae210b34e64a84731133f6ea4761baa19057.zip | |
Replace "$plus" with "+" in webview
Diffstat (limited to 'dottydoc/jvm/src')
| -rw-r--r-- | dottydoc/jvm/src/dotty/tools/dottydoc/html/EntityPage.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dottydoc/jvm/src/dotty/tools/dottydoc/html/EntityPage.scala b/dottydoc/jvm/src/dotty/tools/dottydoc/html/EntityPage.scala index b3f5b5d53..8bbc73db8 100644 --- a/dottydoc/jvm/src/dotty/tools/dottydoc/html/EntityPage.scala +++ b/dottydoc/jvm/src/dotty/tools/dottydoc/html/EntityPage.scala @@ -75,8 +75,9 @@ case class EntityPage(entity: Entity, packages: Map[String, Package]) { ) ) - private def filteredName(str: String) = - str.replaceAll("\\$colon", ":") + private def filteredName(str: String) = str + .replaceAll("\\$colon", ":") + .replaceAll("\\$plus", "+") private def relativePath(to: Entity) = util.traversing.relativePath(entity, to) |