GitGrep: Use the text editor font for the results

This looks more consistent with the results reported by the internal engine.

Change-Id: I7a83954d230a61bb6db380d28de32ebde95ad366
Reviewed-by: Orgad Shaneh <orgads@gmail.com>
This commit is contained in:
Jarek Kobus
2023-06-01 16:47:07 +02:00
parent 03485af139
commit 71d492ae13

View File

@@ -111,6 +111,7 @@ public:
for (const auto &match : std::as_const(matches)) {
result.setMainRange(lineNumber, match.matchStart, match.matchLength);
result.setUserData(match.regexpCapturedTexts);
result.setUseTextEditorFont(true);
resultList->append(result);
}
}