Under X Windows, this flushes pending display messages, so that the user's display reflects the actual state of the windows. Under Windows and MacOS, this procedure has no effect.
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}