Redisplay the document

    The F4 key redisplays completely the document. This way the (eventual) screen garbage deseappears.