Scaladoc member filter panel enhancement updated

Hello list,

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

https://issues.scala-lang.org/browse/SI-4736

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
patch).

Regards,
Rüdiger