jashkenas/docco — pull request #271 by lcavadas (2014-02-19 17:15:10+00:00)
Title: Added scrolling support for the jump menu

Adding backwards compatible scrolling for the jump menu.