• refresh ?-w win?
Redraw the specified window and re-color it. This call is not expensive: it applies coloring to the visible range of the current text pane and invalidates the rest so that re-coloring of the rest of the document will be performed only when necessary. Note that this command first removes all coloring escapes before recoloring.