--- a/QTfrontend/ui/widget/themeprompt.h	Sun Jun 10 18:56:51 2018 +0200
+++ b/QTfrontend/ui/widget/themeprompt.h	Sun Jun 10 19:12:26 2018 +0200
@@ -54,6 +54,7 @@
 
     private slots:
         void onAccepted();
+        void onRejected();
         void themeChosen(const QModelIndex & index);
         void filterChanged(const QString & text);
         void moveUp();