I’m dealing with a case where triple clicking a line will select everything on the line + the newline character at the very end.
It seems that this deviation from standard text selection behavior is generally intended for code editors because it helps with workflows involving copy-pasting blocks of code.
Would it make sense to allow this behavior to be customized? If not, I can just put the custom behavior in a fork instead.
Note that this is only true in Firefox (maybe other browsers on Linux/Mac, can’t check since I’m on Windows). The standard behavior on Windows in all environments I know (IDEs, Chrome) is to include the trailing newline in the selection. So, CodeMirror may try to match the browser/OS behavior.