jashkenas/docco — pull request #174 by scottharvey (2013-03-21 10:26:15+00:00)
Title: Added an input box to filter the file list when there are more than 5 files.

I have updated the work done by @jswartwood in this pull request and implemented a file filter that will be displayed if there are more than 5 files displayed within the documentation.

I decided not to implement the scroll bar on the list as it keeps it much simpler and I think having the input filter works well enough.