| [#976] | project: scala-doc | priority: low | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Gilles | Sean | fixed | 2007-03-02 19:30:31.0 | |
| subject | Merge traits and classes in documentation | |||
| code | ||||
| what happened | In the lower left frame of ScalaDoc HTML pages, traits and classes are listed separately. |
|||
| what expected | Traits and classes should be in a single list: it is mostly not relevant as to whether something is one or the other, and it makes searching harder. | |||
| [back to overview] | ||||
| Stephane edited on 2007-03-02 19:34:00.0 |
| reassigned to Sean (see https://mylamp.epfl.ch/wiki/scala/tasks) |
| Stephane edited on 2007-04-12 14:42:57.0 |