4 /****************************************************************/
5 /* Wclear() fills all lines of window 'win' with blanks, and */
6 /* Marks the window to be cleared at next refresh operation. */
7 /****************************************************************/