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
Shamika, then you believe it's a CodeMirror bug? As Madhura said, could text selection be configurable in this CodeMirror version?
Marc, Yes it works fine with this version.You can see the file here https://github.com/shamika050/phpmyadmin/blob/f3511ca78841a9b28a359ec9932f2fb576462bc0/js/codemirror/lib/codemirror.js
Marc, This is Code mirror 2.18.File is here https://github.com/phpmyadmin/phpmyadmin/blob/RELEASE_3_5_5/js/codemirror/lib/codemirror.js
The selection works, it's just not properly visibly indicated.
Fixed in git.
Exactly, the problem is with the codemirror.js.
It's working properly when use the codemirror.js in version 3.5.5
Shamika,
then you believe it's a CodeMirror bug? As Madhura said, could text selection be configurable in this CodeMirror version?
Marc,
Yes it works fine with this version.You can see the file here
https://github.com/shamika050/phpmyadmin/blob/f3511ca78841a9b28a359ec9932f2fb576462bc0/js/codemirror/lib/codemirror.js
Marc,
This is Code mirror 2.18.File is here
https://github.com/phpmyadmin/phpmyadmin/blob/RELEASE_3_5_5/js/codemirror/lib/codemirror.js
The selection works, it's just not properly visibly indicated.
Fixed in git.