diff options
Diffstat (limited to '')
-rw-r--r-- | public/js/index.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/js/index.js b/public/js/index.js index 0b64f667..376c8ddd 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -76,6 +76,7 @@ var syncScroll = require('./syncscroll'); var setupSyncAreas = syncScroll.setupSyncAreas; var clearMap = syncScroll.clearMap; var syncScrollToEdit = syncScroll.syncScrollToEdit; +var syncScrollToView = syncScroll.syncScrollToView; var extra = require('./extra'); var md = extra.md; |