From 71d492ae133ccf55d083bc39ff980d562dfae4e6 Mon Sep 17 00:00:00 2001 From: Jarek Kobus Date: Thu, 1 Jun 2023 16:47:07 +0200 Subject: [PATCH] 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 --- src/plugins/git/gitgrep.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/plugins/git/gitgrep.cpp b/src/plugins/git/gitgrep.cpp index 2161cbbf68e..e390924472b 100644 --- a/src/plugins/git/gitgrep.cpp +++ b/src/plugins/git/gitgrep.cpp @@ -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); } }