Fixed mobile layout issues and improved editor layout styles

1 files changed, 1 insertions, 0 deletions

diff --git a/public/js/syncscroll.js b/public/js/syncscroll.js
index 890188cb..524d60a9 100644
--- a/public/js/syncscroll.js
+++ b/public/js/syncscroll.js
@@ -116,6 +116,7 @@ var viewScrollingTimer = null;
 
 //editor.on('scroll', _.throttle(syncScrollToView, editorScrollThrottle));
 editor.on('scroll', syncScrollToView);
+ui.area.codemirrorScroll.on('scroll', syncScrollToView);
 ui.area.view.on('scroll', function () {
     viewScrolling = true;
     clearTimeout(viewScrollingTimer);