Add extra padding to the bottom of an editor's vertical scrollbar

This gives us some space when we scroll to the bottom of a file.
Similar to how MacVim works when using the mouse.

Closes #464
This commit is contained in:
probablycorey
2013-04-30 11:52:02 -07:00
parent 471ac4976f
commit af5392b8ac
2 changed files with 10 additions and 3 deletions

View File

@@ -64,6 +64,7 @@ class Editor extends View
newCursors: null
newSelections: null
redrawOnReattach: false
bottomPaddingInLines: 10
# Public: The constructor for setting up an `Editor` instance.
#
@@ -1280,7 +1281,10 @@ class Editor extends View
@overlayer.height(height)
@layerHeight = height
@verticalScrollbarContent.height(height)
bottomPaddingInLines = if @mini then 0 else @bottomPaddingInLines
heightWithPadding = height + (@lineHeight * bottomPaddingInLines)
@verticalScrollbarContent.height(heightWithPadding)
@scrollBottom(height) if @scrollBottom() > height
minWidth = @charWidth * @maxScreenLineLength() + 20
@@ -1516,7 +1520,8 @@ class Editor extends View
#
# Returns a {Number}.
getLastVisibleScreenRow: ->
Math.max(0, Math.ceil((@scrollTop() + @scrollView.height()) / @lineHeight) - 1)
calculatedRow = Math.ceil((@scrollTop() + @scrollView.height()) / @lineHeight) - 1
Math.max(0, Math.min(@getScreenLineCount() - 1, calculatedRow))
# Public: Given a row number, identifies if it is currently visible.
#