Make ctrl-double/triple-click work again

Issue codemirror#2997
fidelo-software · Dec 19, 2014 · 965b8dd · 965b8dd
1 parent 1ace5ad
commit 965b8dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 {