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);