From 2d5c6b28a0e980ddbd70d429e12f9241bc307b71 Mon Sep 17 00:00:00 2001
From: benweet <benoit.schweblin@gmail.com>
Date: Sat, 16 Nov 2013 20:56:09 +0000
Subject: [PATCH] Take into account editor bottom margin in scroll link
 extension

---
 public/res/extensions/scrollLink.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/res/extensions/scrollLink.js b/public/res/extensions/scrollLink.js
index 3b416685..e990fcb8 100644
--- a/public/res/extensions/scrollLink.js
+++ b/public/res/extensions/scrollLink.js
@@ -148,7 +148,7 @@ define([
             destScrollTop = getDestScrollTop(previewScrollTop, htmlSectionList, mdSectionList);
             destScrollTop = _.min([
                 destScrollTop,
-                aceEditor.session.getScreenLength() * aceEditor.renderer.lineHeight - aceEditor.renderer.$size.scrollerHeight
+                aceEditor.session.getScreenLength() * aceEditor.renderer.lineHeight + aceEditor.renderer.scrollMargin.bottom - aceEditor.renderer.$size.scrollerHeight
             ]);
             // If negative, set it to zero
             destScrollTop < 0 && (destScrollTop = 0);