Fixed mobile layout issues and improved editor layout styles

This commit is contained in:
Cheng-Han, Wu 2016-03-15 11:10:08 +08:00
parent b5d9d28f2e
commit 40f9206190
3 changed files with 47 additions and 34 deletions

View file

@ -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);