diff -r af97cdbb7713 -r a874d00df4a4 QTfrontend/ui/page/pageoptions.h
--- a/QTfrontend/ui/page/pageoptions.h	Sun Dec 09 18:00:01 2012 +0100
+++ b/QTfrontend/ui/page/pageoptions.h	Mon Dec 10 03:07:25 2012 +0100
@@ -70,6 +70,7 @@
         QCheckBox *CBNameWithDate;
 #ifdef __APPLE__
         QCheckBox *CBAutoUpdate;
+        QPushButton *BtnUpdateNow;
 #endif
 
         FPSEdit *fpsedit;
@@ -131,6 +132,7 @@
         QComboBox *comboVideoCodecs;
         QComboBox *comboAudioCodecs;
         QPushButton *btnDefaults;
+        QPushButton *btnUpdateNow;
         GameUIConfig * config;
 
     private slots:
@@ -148,6 +150,7 @@
         void changeAVFormat(int index);
         void changeUseGameRes(int state);
         void changeRecordAudio(int state);
+        void checkForUpdates();
 
     public slots:
         void setDefaultOptions();