--- a/QTfrontend/hwform.h	Wed Jan 02 10:11:42 2013 +0100
+++ b/QTfrontend/hwform.h	Wed Jan 02 12:39:50 2013 +0100
@@ -148,6 +148,7 @@
         void closeEvent(QCloseEvent *event);
         void CustomizePalettes();
         void resizeEvent(QResizeEvent * event);
+        QString stringifyPageId(quint32 id);
         //void keyReleaseEvent(QKeyEvent *event);
 
         enum PageIDs