diff options
| author | Jarek Kobus <jaroslaw.kobus@qt.io> | 2023-06-01 16:47:07 +0200 |
|---|---|---|
| committer | Jarek Kobus <jaroslaw.kobus@qt.io> | 2023-06-01 16:36:07 +0000 |
| commit | 71d492ae133ccf55d083bc39ff980d562dfae4e6 (patch) | |
| tree | 2cbc01454ef644ad6de3d8277aa2a88ad1592604 /src/plugins/git/gitgrep.cpp | |
| parent | 03485af13945d45b41f34c476f73eb8c649295b5 (diff) | |
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>
Diffstat (limited to 'src/plugins/git/gitgrep.cpp')
| -rw-r--r-- | src/plugins/git/gitgrep.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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); } } |