#include <QtGui>
#include <QGLWidget>
+#include <stdint.h>
class GLWidget: public QGLWidget
{
GLWidget(QWidget * parent = 0);
~GLWidget();
-// void HideMouseIfTimedOut(void);
void HandleMouseHiding(void);
void CheckAndRestoreMouseCursor(void);
// QSize minimumSizeHint() const;