From 965b8dd10992700835b8baac90872aba3a2f299c Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Fri, 19 Dec 2014 23:09:01 +0100
Subject: [PATCH] Make ctrl-double/triple-click work again

Issue #2997
---
 lib/codemirror.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/codemirror.js b/lib/codemirror.js
index 590400a2f9..06f0099a05 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -2921,7 +2921,7 @@
       ourIndex = ranges.length;
       setSelection(doc, normalizeSelection(ranges.concat([ourRange]), ourIndex),
                    {scroll: false, origin: "*mouse"});
-    } else if (ranges.length > 1 && ranges[ourIndex].empty()) {
+    } else if (ranges.length > 1 && ranges[ourIndex].empty() && type == "single") {
       setSelection(doc, normalizeSelection(ranges.slice(0, ourIndex).concat(ranges.slice(ourIndex + 1)), 0));
       startSel = doc.sel;
     } else {