diff save-states/jiggly-0-pp.sav @ 316:d263df762c59

greatly speed up scroll-text by using binary-search.
author Robert McIntyre <rlm@mit.edu>
date Mon, 02 Apr 2012 21:20:54 -0500
parents 8523faa122b0
children
line wrap: on
line diff