This page is no longer maintained — Please continue to the home page at

Scaladoc member filter panel enhancement updated

No replies
Rüdiger Keller
Joined: 2010-01-24,
User offline. Last seen 42 years 45 weeks ago.

Hello list,

I just updated the ticket with my enhancement proposal for the
Scaladoc member filter panel:

I created a GitHub pull request for easier integration of the changes.
Also, I found a bug which I fixed in the pull request (but not in the


Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland