Made keyboard handling a bit more sane.

[virtualjaguar] / src / gui / glwidget.h

diff --git a/src/gui/glwidget.h b/src/gui/glwidget.h
index 40d27556e6f619b96a2884f0f82b77c064f08e82..7557ea68629830abff7353f100634fafd81c3742 100644 (file)
--- a/src/gui/glwidget.h
+++ b/src/gui/glwidget.h
@@ -8,6 +8,7 @@
 
 #include <QtGui>
 #include <QGLWidget>
+#include <stdint.h>
 
 class GLWidget: public QGLWidget
 {
@@ -17,7 +18,6 @@ class GLWidget: public QGLWidget
                GLWidget(QWidget * parent = 0);
                ~GLWidget();
 
-//             void HideMouseIfTimedOut(void);
                void HandleMouseHiding(void);
                void CheckAndRestoreMouseCursor(void);
 //             QSize minimumSizeHint() const;