--- a/QTfrontend/ui/widget/themeprompt.h	Fri Mar 01 16:58:00 2013 -0500
+++ b/QTfrontend/ui/widget/themeprompt.h	Fri Mar 01 17:22:09 2013 -0500
@@ -34,6 +34,10 @@
 
     public:
         ThemeListView(QWidget* parent = 0) : QListView(parent){}
+        void moveUp();
+        void moveDown();
+        void moveLeft();
+        void moveRight();
 };
 
 class ThemePrompt : public QDialog