87 static int VGLMouseShown = 0;  variable
146     if (VGLMouseShown == VGL_MOUSEHIDE) {  in VGLMouseMode()
148       VGLMouseShown = VGL_MOUSESHOW;  in VGLMouseMode()
152     if (VGLMouseShown == VGL_MOUSESHOW) {  in VGLMouseMode()
154       VGLMouseShown = VGL_MOUSEHIDE;  in VGLMouseMode()
170   if (VGLMouseShown == VGL_MOUSESHOW)  in VGLMouseAction()
175   if (VGLMouseShown == VGL_MOUSESHOW)  in VGLMouseAction()
182   if (VGLMouseShown == VGL_MOUSESHOW)  in VGLMouseSetImage()
186   if (VGLMouseShown == VGL_MOUSESHOW)  in VGLMouseSetImage()
193   if (VGLMouseShown == VGL_MOUSESHOW)  in VGLMouseSetStdImage()
197   if (VGLMouseShown == VGL_MOUSESHOW)  in VGLMouseSetStdImage()
230   return VGLMouseShown;  in VGLMouseStatus()
239       if (VGLMouseShown == 1) {  in VGLMouseFreeze()
257       if (VGLMouseShown &&  in VGLMouseFreeze()
281     if (VGLMouseShown == VGL_MOUSESHOW && !VGLMouseVisible)  in VGLMouseUnFreeze()