CodeMirrorTextEditor.highlightRange has bugs:
- it doesn't highlight last letter of selection (because the it assumes the range to be exclusive on the right end)
- it doesn't provide any way to set up some css class with border
Created attachment 195172 [details]
Comment on attachment 195172 [details]
Clearing flags on attachment: 195172
Committed r146972: <http://trac.webkit.org/changeset/146972>
All reviewed patches have been landed. Closing bug.