move redisplay() into Buffer
delete unused stubs