From 6855d140d849c545cd86785121eb43863d319dfe Mon Sep 17 00:00:00 2001
From: benweet <benoit.schweblin@gmail.com>
Date: Wed, 4 Dec 2013 19:33:47 +0000
Subject: [PATCH] Fixed scroll link on top of the screen when focus mode is
 active

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

diff --git a/public/res/extensions/scrollLink.js b/public/res/extensions/scrollLink.js
index 2316f1b6..267db268 100644
--- a/public/res/extensions/scrollLink.js
+++ b/public/res/extensions/scrollLink.js
@@ -95,6 +95,7 @@ define([
             return;
         }
         var editorScrollTop = aceEditor.renderer.getScrollTop();
+        editorScrollTop < 0 && (editorScrollTop = 0);
         var previewScrollTop = $previewElt.scrollTop();
         function getDestScrollTop(srcScrollTop, srcSectionList, destSectionList) {
             // Find the section corresponding to the offset