Merge pull request #6858 from ctrlaltdavid/20780

Make filter in Running Scripts window be case-insensitive
This commit is contained in:
James B. Pollack 2016-01-19 10:51:42 -08:00
commit 347293a6a4

View file

@ -197,7 +197,7 @@ Window {
anchors.bottom: treeView.top anchors.bottom: treeView.top
anchors.bottomMargin: 8 anchors.bottomMargin: 8
placeholderText: "filter" placeholderText: "filter"
onTextChanged: scriptsModel.filterRegExp = new RegExp("^.*" + text + ".*$") onTextChanged: scriptsModel.filterRegExp = new RegExp("^.*" + text + ".*$", "i")
} }
TreeView { TreeView {