/* Set the dimension and the bitmap of the pointer.  */
void POINTER_SetCurrentPointer(u8 width, u8 height, u8 *bmp)
/* Set the dimension and the bitmap of the pointer.  */
void POINTER_SetCurrentPointer(u8 width, u8 height, u8 *bmp)
{
   if( !bmp )
      {
      bmp = BallPointerBmp;
      }
   CurrentPointerWidth  = width;
   CurrentPointerHeight = height;
   CurrentPointerBmp    = bmp;
   }