--- a/QTfrontend/ui/widget/themeprompt.cpp Sun Mar 18 14:38:48 2018 +0100
+++ b/QTfrontend/ui/widget/themeprompt.cpp Sun Mar 18 15:24:54 2018 +0100
@@ -68,10 +68,10 @@
setStyleSheet("QPushButton { padding: 5px; margin-top: 10px; }");
- // Theme model, and a model for setting a filter
+ // Theme model
ThemeModel * themeModel = DataManager::instance().themeModel();
- filterModel = new QSortFilterProxyModel();
- filterModel->setSourceModel(themeModel);
+ filterModel = themeModel->withoutHidden();
+ // Custom filter extension
filterModel->setFilterCaseSensitivity(Qt::CaseInsensitive);
// Grid