--- a/QTfrontend/model/ThemeFilterProxyModel.h	Sun Mar 18 14:38:48 2018 +0100
+++ b/QTfrontend/model/ThemeFilterProxyModel.h	Sun Mar 18 15:24:54 2018 +0100
@@ -36,12 +36,14 @@
     public:
         ThemeFilterProxyModel(QObject *parent = 0);
         void setFilterDLC(bool enabled);
+        void setFilterHidden(bool enabled);
 
     protected:
         bool filterAcceptsRow(int sourceRow, const QModelIndex &sourceParent) const;
 
     private:
         bool isFilteringDLC;
+        bool isFilteringHidden;
 };
 
 #endif // HEDGEWARS_THEMEFILTERPROXYMODEL_H