Don't clip range start/end in DisplayBuffer::pixelRectForScreenRange

Fixes #2583

This prevents the cursor from having 0 width inside atomic tokens.
This commit is contained in:
Nathan Sobo
2014-06-11 11:40:57 -06:00
parent 3b1c70911f
commit 7c1a4a9e08
2 changed files with 7 additions and 2 deletions

View File

@@ -289,9 +289,9 @@ class DisplayBuffer extends Model
height = (screenRange.end.row - screenRange.start.row + 1) * @getLineHeightInPixels()
width = @getScrollWidth()
else
{top, left} = @pixelPositionForScreenPosition(screenRange.start)
{top, left} = @pixelPositionForScreenPosition(screenRange.start, false)
height = @getLineHeightInPixels()
width = @pixelPositionForScreenPosition(screenRange.end).left - left
width = @pixelPositionForScreenPosition(screenRange.end, false).left - left
{top, left, width, height}