diff -r 0cfa8f6a4e80 -r 7d7eb27dab31 QTfrontend/ui/widget/themeprompt.cpp
--- 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);