Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
The version of CodeMirror used in latest GIT does not support text selection. This is quite annoying and text selection was possible in the version used in 3.5
I'm not sure whether some configuration in CodeMirror is causing this.
Exactly, the problem is with the codemirror.js.
It's working properly when use the codemirror.js in version 3.5.5
then you believe it's a CodeMirror bug? As Madhura said, could text selection be configurable in this CodeMirror version?
Yes it works fine with this version.You can see the file here
This is Code mirror 2.18.File is here
The selection works, it's just not properly visibly indicated.
Fixed in git.