tweak
faster redisplay with binary search