[PATCH v2 2/2] mergetool-lib: give kdiff3 priority in KDE environments

["Marco Trevisan (Treviño) via GitGitGadget" <gitgitgadget@xxxxxxxxx>]

From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= <mail@xxxxxxxxx>

Signed-off-by: Marco Trevisan (Treviño) <mail@xxxxxxxxx>
---
 git-mergetool--lib.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/git-mergetool--lib.sh b/git-mergetool--lib.sh
index f9d8f309c8..ac6695ea26 100644
--- a/git-mergetool--lib.sh
+++ b/git-mergetool--lib.sh
@@ -289,6 +289,9 @@ list_merge_tool_candidates () {
 		if is_desktop "GNOME" || test -n "$GNOME_DESKTOP_SESSION_ID"
 		then
 			tools="meld opendiff kdiff3 tkdiff xxdiff $tools"
+		elif is_desktop "KDE" || test x"$KDE_FULL_SESSION" = x"true"
+		then
+			tools="kdiff3 opendiff tkdiff xxdiff meld $tools"
 		else
 			tools="opendiff kdiff3 tkdiff xxdiff meld $tools"
 		fi
-- 
gitgitgadget