A redisplay algorithm | Synapse