Search results

Empty table of contents on the glossary page

Status: Merged (completed).

scala/docs.scala-langnumber 2608

#2608 In scala/docs.scala-lang;

· by lorenzpahl was closed on Oct 19, 2022

Improve sidebar usability

Status: Merged (completed).

scala/docs.scala-langnumber 1301

#1301 In scala/docs.scala-lang;

· by lorenzpahl was closed on Apr 4, 2019

Resolve duplicate id attribute value

Status: Merged (completed).

scala/docs.scala-langnumber 1300

#1300 In scala/docs.scala-lang;

· by lorenzpahl was closed on Mar 25, 2019

Fix term search on glossary page

Status: Merged (completed).

scala/docs.scala-langnumber 1297

#1297 In scala/docs.scala-lang;

· by lorenzpahl was closed on Mar 25, 2019