diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-05-05 15:48:55 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-08-19 15:37:23 +0200 |
commit | 73bfb73bbf72dc790c8e5595b7c3e58bca281015 (patch) | |
tree | bdd665b8887398f3c4400d20a9dad8c46888523c | |
parent | 3ecc86c00d0df6a2a2693ba8461c47ca0ff43737 (diff) | |
download | dotty-73bfb73bbf72dc790c8e5595b7c3e58bca281015.tar.gz dotty-73bfb73bbf72dc790c8e5595b7c3e58bca281015.tar.bz2 dotty-73bfb73bbf72dc790c8e5595b7c3e58bca281015.zip |
Cosmetic updates
-rw-r--r-- | dottydoc/js/static/index.css | 4 | ||||
-rw-r--r-- | dottydoc/jvm/src/dotty/tools/dottydoc/util/IndexWriters.scala | 1 | ||||
-rw-r--r-- | dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala | 5 |
3 files changed, 8 insertions, 2 deletions
diff --git a/dottydoc/js/static/index.css b/dottydoc/js/static/index.css index 8bc0c539a..2be323ae7 100644 --- a/dottydoc/js/static/index.css +++ b/dottydoc/js/static/index.css @@ -8,6 +8,10 @@ span.subtitle { padding-top: 32px; } +div.member { + min-height: 70px; +} + div.member.member-fullcomment:hover { cursor: pointer; } diff --git a/dottydoc/jvm/src/dotty/tools/dottydoc/util/IndexWriters.scala b/dottydoc/jvm/src/dotty/tools/dottydoc/util/IndexWriters.scala index 70587e6b8..1d9631e75 100644 --- a/dottydoc/jvm/src/dotty/tools/dottydoc/util/IndexWriters.scala +++ b/dottydoc/jvm/src/dotty/tools/dottydoc/util/IndexWriters.scala @@ -14,7 +14,6 @@ object IndexWriters { EntityPage(pack, packs).render, outPath + pack.path.dropRight(1).mkString("/", "/", "/"), s"${pack.name.split("\\.").last}.html") - //s"index.html") for { child <- pack.children diff --git a/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala b/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala index 142895021..8e6a0b6ce 100644 --- a/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala +++ b/dottydoc/shared/src/main/scala/dotty/tools/dottydoc/model/factories.scala @@ -14,7 +14,10 @@ object factories { import DottyFlags._ def flags(t: Tree)(implicit ctx: Context): List[String] = - (t.symbol.flags & SourceModifierFlags).flagStrings.toList + (t.symbol.flags & SourceModifierFlags) + .flagStrings.toList + .filter(_ != "<trait>") + .filter(_ != "interface") def path(t: Tree)(implicit ctx: Context): List[String] = { def pathList(tpe: Type): List[String] = tpe match { |