QTfrontend/ui/widget/themeprompt.cpp
changeset 13257 7d7eb27dab31
parent 13248 b0022324fb4e
child 13283 f816b9e73fcb
equal deleted inserted replaced
13256:0cfa8f6a4e80 13257:7d7eb27dab31
    71     // Theme model
    71     // Theme model
    72     ThemeModel * themeModel = DataManager::instance().themeModel();
    72     ThemeModel * themeModel = DataManager::instance().themeModel();
    73     filterModel = themeModel->withoutHidden();
    73     filterModel = themeModel->withoutHidden();
    74     // Custom filter extension
    74     // Custom filter extension
    75     filterModel->setFilterCaseSensitivity(Qt::CaseInsensitive);
    75     filterModel->setFilterCaseSensitivity(Qt::CaseInsensitive);
       
    76     // Reset search field
       
    77     filterModel->setFilterFixedString(QString());
    76 
    78 
    77     // Grid
    79     // Grid
    78     QGridLayout * dialogLayout = new QGridLayout(this);
    80     QGridLayout * dialogLayout = new QGridLayout(this);
    79     dialogLayout->setSpacing(0);
    81     dialogLayout->setSpacing(0);
    80     dialogLayout->setColumnStretch(1, 1);
    82     dialogLayout->setColumnStretch(1, 1);