attempt to fix redisplay bugs in extempore.el