Fix for the Safari selection workaround

marijnh · marijnh · commit e7d82478d18b · 2011-06-07T16:43:50.000+02:00
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -2015,7 +2015,7 @@ var CodeMirror = (function() {
           te.setSelectionRange(start, end);
         else {
           te.setSelectionRange(start, end - 1);
-          window.getSelection().modify("expand", "forward", "character");
+          window.getSelection().modify("extend", "forward", "character");
         }
       };
     else

Original file line number	Diff line number	Diff line change
`@@ -2015,7 +2015,7 @@ var CodeMirror = (function() {`
`2015`	`2015`	`te.setSelectionRange(start, end);`
`2016`	`2016`	`else {`
`2017`	`2017`	`te.setSelectionRange(start, end - 1);`
`2018`		`- window.getSelection().modify("expand", "forward", "character");`
	`2018`	`+ window.getSelection().modify("extend", "forward", "character");`
`2019`	`2019`	`}`
`2020`	`2020`	`};`
`2021`	`2021`	`else`