jashkenas/docco — pull request #269 by lcavadas (2014-02-19 15:26:57+00:00)
Title: Added scrolling to the jump menu

Made the parallel menu capable of being bigger than the screen by adding scrolling to it.