QTfrontend/ui/widget/themeprompt.cpp
changeset 13257 7d7eb27dab31
parent 13248 b0022324fb4e
child 13283 f816b9e73fcb
--- a/QTfrontend/ui/widget/themeprompt.cpp	Mon Mar 19 16:07:08 2018 +0100
+++ b/QTfrontend/ui/widget/themeprompt.cpp	Mon Mar 19 18:58:49 2018 +0100
@@ -73,6 +73,8 @@
     filterModel = themeModel->withoutHidden();
     // Custom filter extension
     filterModel->setFilterCaseSensitivity(Qt::CaseInsensitive);
+    // Reset search field
+    filterModel->setFilterFixedString(QString());
 
     // Grid
     QGridLayout * dialogLayout = new QGridLayout(this);