By patvdv at 26 Feb 2008 - 21:56
void refresh( [long
This copies the internal screen to the terminal screen. The internal screen is modified by any function which sends data to the screen (for example, print(), box(), map.window()). The terminal screen is updated only after you call refresh().
If you specify a window ID, the specified window is refreshed. But the window sequence is not changed. If you do not specify a window ID, the current window is refreshed and placed above all other windows on the screen.