[git log] support "extended regexps"

In particular supports the syntax like: '(git|diff)'
Relates to IDEA-111043, although basic regexp was already supported.
This commit is contained in:
Kirill Likhodedov
2014-08-28 19:53:13 +04:00
parent 89ec378d5b
commit a4fc15a689
@@ -308,8 +308,9 @@ public class GitLogProvider implements VcsLogProvider {
}
if (filterCollection.getTextFilter() != null) {
String textFilter = StringUtil.escapeBackSlashes(filterCollection.getTextFilter().getText());
String textFilter = filterCollection.getTextFilter().getText();
filterParameters.add(prepareParameter("grep", textFilter));
filterParameters.add("--extended-regexp");
}
filterParameters.add("--regexp-ignore-case"); // affects case sensitivity of any filter (except file filter)