/* Allow the pointer to move on the whole screen.  */
void POINTER_SetRectScreen(void)
/* Allow the pointer to move on the whole screen.  */
void POINTER_SetRectScreen(void)
{
   POINTER_SetRect( 0, 0, POS_MAX, POS_MAX );
   }