comparison java/build.xml @ 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 9d3769896d66
children 09b3bc0b71b5
comparison
equal deleted inserted replaced
315:363b650a77cc 316:d263df762c59