jashkenas/docco — pull request #270 by lcavadas (2014-02-19 16:35:17+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.