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] Patch
Comment on attachment 195172 [details] Patch Clearing flags on attachment: 195172 Committed r146972: <http://trac.webkit.org/changeset/146972>
All reviewed patches have been landed. Closing bug.