Bug 113348

Summary: Web Inspector: [CodeMirror] CodeMirrorTextEditor.highlightRange has bugs
Product: WebKit Reporter: Andrey Lushnikov <lushnikov>
Component: Web Inspector (Deprecated)Assignee: Andrey Lushnikov <lushnikov>
Status: RESOLVED FIXED    
Severity: Normal CC: apavlov, keishi, loislo, pfeldman, pmuellr, vsevik, web-inspector-bugs, webkit.review.bot, yurys
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: All   
OS: All   
Attachments:
Description Flags
Patch none

Description Andrey Lushnikov 2013-03-26 15:05:29 PDT
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
Comment 1 Andrey Lushnikov 2013-03-26 15:09:17 PDT
Created attachment 195172 [details]
Patch
Comment 2 WebKit Review Bot 2013-03-27 01:15:03 PDT
Comment on attachment 195172 [details]
Patch

Clearing flags on attachment: 195172

Committed r146972: <http://trac.webkit.org/changeset/146972>
Comment 3 WebKit Review Bot 2013-03-27 01:15:06 PDT
All reviewed patches have been landed.  Closing bug.