--- a/QTfrontend/hwform.h	Thu Oct 07 16:02:28 2010 -0400
+++ b/QTfrontend/hwform.h	Fri Oct 08 17:47:00 2010 +0200
@@ -127,7 +127,8 @@
     void closeEvent(QCloseEvent *event);
     void CustomizePalettes();
     void resizeEvent(QResizeEvent * event);
-
+    void keyReleaseEvent(QKeyEvent *event);
+    
     enum PageIDs {
         ID_PAGE_SETUP_TEAM      =  0,
         ID_PAGE_SETUP           =  1,