Fix a potential mouse freeze.

diff --git a/src/GUI/mouse.cxx b/src/GUI/mouse.cxx
index 1c6a49476ddfd4d57cbd4cfc07eec8fc73974d5e..9a08c457b8bbdf17018ee562b1e3d015b90cf17d 100644 (file)
--- a/src/GUI/mouse.cxx
+++ b/src/GUI/mouse.cxx
@@ -372,7 +372,7 @@ void guiMotionFunc ( int x, int y )
             if( gui_menu_on )
                 guiToggleMenu();                       
         }
-        // puMouse ( x, y ) ;
+        puMouse ( x, y ) ;
         glutPostRedisplay () ;
     } else {
         if( x == _mX && y == _mY)