equal
deleted
inserted
replaced
66 resize(550, 430); |
66 resize(550, 430); |
67 setSizePolicy(QSizePolicy::Minimum, QSizePolicy::Minimum); |
67 setSizePolicy(QSizePolicy::Minimum, QSizePolicy::Minimum); |
68 |
68 |
69 setStyleSheet("QPushButton { padding: 5px; margin-top: 10px; }"); |
69 setStyleSheet("QPushButton { padding: 5px; margin-top: 10px; }"); |
70 |
70 |
71 // Theme model, and a model for setting a filter |
71 // Theme model |
72 ThemeModel * themeModel = DataManager::instance().themeModel(); |
72 ThemeModel * themeModel = DataManager::instance().themeModel(); |
73 filterModel = new QSortFilterProxyModel(); |
73 filterModel = themeModel->withoutHidden(); |
74 filterModel->setSourceModel(themeModel); |
74 // Custom filter extension |
75 filterModel->setFilterCaseSensitivity(Qt::CaseInsensitive); |
75 filterModel->setFilterCaseSensitivity(Qt::CaseInsensitive); |
76 |
76 |
77 // Grid |
77 // Grid |
78 QGridLayout * dialogLayout = new QGridLayout(this); |
78 QGridLayout * dialogLayout = new QGridLayout(this); |
79 dialogLayout->setSpacing(0); |
79 dialogLayout->setSpacing(0); |