Title: [180526] trunk/Source/WebInspectorUI
Revision
180526
Author
[email protected]
Date
2015-02-23 15:18:29 -0800 (Mon, 23 Feb 2015)

Log Message

Web Inspector: BasicBlockAnnotator ranges should be inclusive of both the start and end offset
https://bugs.webkit.org/show_bug.cgi?id=141334

Reviewed by Timothy Hatcher.

* UserInterface/Views/TextEditor.js:
(WebInspector.TextEditor.prototype.addStyleToTextRange):

Modified Paths

Diff

Modified: trunk/Source/WebInspectorUI/ChangeLog (180525 => 180526)


--- trunk/Source/WebInspectorUI/ChangeLog	2015-02-23 23:09:31 UTC (rev 180525)
+++ trunk/Source/WebInspectorUI/ChangeLog	2015-02-23 23:18:29 UTC (rev 180526)
@@ -1,3 +1,13 @@
+2015-02-23  Saam Barati  <[email protected]>
+
+        Web Inspector: BasicBlockAnnotator ranges should be inclusive of both the start and end offset
+        https://bugs.webkit.org/show_bug.cgi?id=141334
+
+        Reviewed by Timothy Hatcher.
+
+        * UserInterface/Views/TextEditor.js:
+        (WebInspector.TextEditor.prototype.addStyleToTextRange):
+
 2015-02-22  Joseph Pecoraro  <[email protected]>
 
         Web Inspector: Lazily Create GeneralTreeElement Status Elements

Modified: trunk/Source/WebInspectorUI/UserInterface/Views/TextEditor.js (180525 => 180526)


--- trunk/Source/WebInspectorUI/UserInterface/Views/TextEditor.js	2015-02-23 23:09:31 UTC (rev 180525)
+++ trunk/Source/WebInspectorUI/UserInterface/Views/TextEditor.js	2015-02-23 23:18:29 UTC (rev 180526)
@@ -461,7 +461,8 @@
 
     addStyleToTextRange: function(startPosition, endPosition, styleClassName)
     {
-        return this._codeMirror.getDoc().markText(startPosition, endPosition, {className: styleClassName});
+        endPosition.ch += 1;
+        return this._codeMirror.getDoc().markText(startPosition, endPosition, {className: styleClassName, inclusiveLeft: true, inclusiveRight: true});
     },
 
     revealPosition: function(position, textRangeToSelect, forceUnformatted, noHighlight)
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to