2017-03-08 18:41:05 +00:00
|
|
|
/* eslint-env browser, jquery */
|
|
|
|
/* global _ */
|
2016-02-22 00:58:06 +00:00
|
|
|
// Inject line numbers for sync scroll.
|
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
import markdownitContainer from 'markdown-it-container'
|
2017-01-04 15:01:44 +00:00
|
|
|
|
2017-04-11 13:33:54 +00:00
|
|
|
import { md } from '../extra'
|
2017-04-12 01:21:13 +00:00
|
|
|
import modeType from './modeType'
|
|
|
|
import appState from './appState'
|
2016-10-08 12:02:30 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
function addPart (tokens, idx) {
|
|
|
|
if (tokens[idx].map && tokens[idx].level === 0) {
|
|
|
|
const startline = tokens[idx].map[0] + 1
|
|
|
|
const endline = tokens[idx].map[1]
|
|
|
|
tokens[idx].attrJoin('class', 'part')
|
|
|
|
tokens[idx].attrJoin('data-startline', startline)
|
|
|
|
tokens[idx].attrJoin('data-endline', endline)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
}
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.blockquote_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
tokens[idx].attrJoin('class', 'raw')
|
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.table_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.bullet_list_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.list_item_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
tokens[idx].attrJoin('class', 'raw')
|
|
|
|
if (tokens[idx].map) {
|
|
|
|
const startline = tokens[idx].map[0] + 1
|
|
|
|
const endline = tokens[idx].map[1]
|
|
|
|
tokens[idx].attrJoin('data-startline', startline)
|
|
|
|
tokens[idx].attrJoin('data-endline', endline)
|
|
|
|
}
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.ordered_list_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.link_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.paragraph_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2016-02-22 00:58:06 +00:00
|
|
|
md.renderer.rules.heading_open = function (tokens, idx, options, env, self) {
|
2017-03-08 18:41:05 +00:00
|
|
|
tokens[idx].attrJoin('class', 'raw')
|
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
|
|
|
}
|
2017-01-04 15:01:44 +00:00
|
|
|
md.renderer.rules.fence = (tokens, idx, options, env, self) => {
|
2017-03-08 18:41:05 +00:00
|
|
|
const token = tokens[idx]
|
|
|
|
const info = token.info ? md.utils.unescapeAll(token.info).trim() : ''
|
|
|
|
let langName = ''
|
|
|
|
let highlighted
|
|
|
|
|
|
|
|
if (info) {
|
|
|
|
langName = info.split(/\s+/g)[0]
|
|
|
|
if (/!$/.test(info)) token.attrJoin('class', 'wrap')
|
|
|
|
token.attrJoin('class', options.langPrefix + langName.replace(/=$|=\d+$|=\+$|!$|=!/, ''))
|
|
|
|
token.attrJoin('class', 'hljs')
|
|
|
|
token.attrJoin('class', 'raw')
|
|
|
|
}
|
|
|
|
|
|
|
|
if (options.highlight) {
|
|
|
|
highlighted = options.highlight(token.content, langName) || md.utils.escapeHtml(token.content)
|
|
|
|
} else {
|
|
|
|
highlighted = md.utils.escapeHtml(token.content)
|
|
|
|
}
|
|
|
|
|
|
|
|
if (highlighted.indexOf('<pre') === 0) {
|
|
|
|
return `${highlighted}\n`
|
|
|
|
}
|
|
|
|
|
|
|
|
if (tokens[idx].map && tokens[idx].level === 0) {
|
|
|
|
const startline = tokens[idx].map[0] + 1
|
|
|
|
const endline = tokens[idx].map[1]
|
|
|
|
return `<pre class="part" data-startline="${startline}" data-endline="${endline}"><code${self.renderAttrs(token)}>${highlighted}</code></pre>\n`
|
|
|
|
}
|
|
|
|
|
|
|
|
return `<pre><code${self.renderAttrs(token)}>${highlighted}</code></pre>\n`
|
|
|
|
}
|
2017-01-04 15:01:44 +00:00
|
|
|
md.renderer.rules.code_block = (tokens, idx, options, env, self) => {
|
2017-03-08 18:41:05 +00:00
|
|
|
if (tokens[idx].map && tokens[idx].level === 0) {
|
|
|
|
const startline = tokens[idx].map[0] + 1
|
|
|
|
const endline = tokens[idx].map[1]
|
|
|
|
return `<pre class="part" data-startline="${startline}" data-endline="${endline}"><code>${md.utils.escapeHtml(tokens[idx].content)}</code></pre>\n`
|
|
|
|
}
|
|
|
|
return `<pre><code>${md.utils.escapeHtml(tokens[idx].content)}</code></pre>\n`
|
|
|
|
}
|
|
|
|
function renderContainer (tokens, idx, options, env, self) {
|
|
|
|
tokens[idx].attrJoin('role', 'alert')
|
|
|
|
tokens[idx].attrJoin('class', 'alert')
|
|
|
|
tokens[idx].attrJoin('class', `alert-${tokens[idx].info.trim()}`)
|
|
|
|
addPart(tokens, idx)
|
|
|
|
return self.renderToken(...arguments)
|
2016-03-15 02:56:53 +00:00
|
|
|
}
|
2016-10-08 12:02:30 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
md.use(markdownitContainer, 'success', { render: renderContainer })
|
|
|
|
md.use(markdownitContainer, 'info', { render: renderContainer })
|
|
|
|
md.use(markdownitContainer, 'warning', { render: renderContainer })
|
|
|
|
md.use(markdownitContainer, 'danger', { render: renderContainer })
|
2019-08-03 03:53:42 +00:00
|
|
|
md.use(markdownitContainer, 'spoiler', {
|
|
|
|
validate: function (params) {
|
2019-09-07 16:42:41 +00:00
|
|
|
return params.trim().match(/^spoiler(\s+.*)?$/)
|
2019-08-03 03:53:42 +00:00
|
|
|
},
|
|
|
|
render: function (tokens, idx) {
|
2019-09-07 16:42:41 +00:00
|
|
|
const m = tokens[idx].info.trim().match(/^spoiler(\s+.*)?$/)
|
2019-08-03 03:53:42 +00:00
|
|
|
|
|
|
|
if (tokens[idx].nesting === 1) {
|
2019-09-07 16:42:41 +00:00
|
|
|
// opening tag
|
2019-08-03 07:11:37 +00:00
|
|
|
const startline = tokens[idx].map[0] + 1
|
|
|
|
const endline = tokens[idx].map[1]
|
|
|
|
|
2019-09-07 16:42:41 +00:00
|
|
|
const partClass = `class="part raw" data-startline="${startline}" data-endline="${endline}"`
|
|
|
|
const summary = m[1] && m[1].trim()
|
|
|
|
if (summary) {
|
|
|
|
return `<details ${partClass}><summary>${md.utils.escapeHtml(summary)}</summary>\n`
|
|
|
|
} else {
|
|
|
|
return `<details ${partClass}>\n`
|
|
|
|
}
|
2019-08-03 03:53:42 +00:00
|
|
|
} else {
|
|
|
|
// closing tag
|
|
|
|
return '</details>\n'
|
|
|
|
}
|
|
|
|
}
|
|
|
|
})
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
window.preventSyncScrollToEdit = false
|
|
|
|
window.preventSyncScrollToView = false
|
2015-09-25 10:05:50 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
const editScrollThrottle = 5
|
|
|
|
const viewScrollThrottle = 5
|
|
|
|
const buildMapThrottle = 100
|
2015-06-01 10:04:25 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
let viewScrolling = false
|
|
|
|
let editScrolling = false
|
2016-05-25 05:25:05 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
let editArea = null
|
|
|
|
let viewArea = null
|
|
|
|
let markdownArea = null
|
2016-09-18 08:51:19 +00:00
|
|
|
|
2017-04-12 01:21:13 +00:00
|
|
|
let editor
|
|
|
|
|
|
|
|
export function setupSyncAreas (edit, view, markdown, _editor) {
|
2017-03-08 18:41:05 +00:00
|
|
|
editArea = edit
|
|
|
|
viewArea = view
|
|
|
|
markdownArea = markdown
|
2017-04-12 01:21:13 +00:00
|
|
|
|
|
|
|
editor = _editor
|
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
editArea.on('scroll', _.throttle(syncScrollToView, editScrollThrottle))
|
|
|
|
viewArea.on('scroll', _.throttle(syncScrollToEdit, viewScrollThrottle))
|
2016-09-18 08:51:19 +00:00
|
|
|
}
|
2016-05-25 05:25:05 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
let scrollMap, lineHeightMap, viewTop, viewBottom
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
export function clearMap () {
|
|
|
|
scrollMap = null
|
|
|
|
lineHeightMap = null
|
|
|
|
viewTop = null
|
|
|
|
viewBottom = null
|
2015-05-15 04:58:13 +00:00
|
|
|
}
|
2017-03-08 18:41:05 +00:00
|
|
|
window.viewAjaxCallback = clearMap
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
const buildMap = _.throttle(buildMapInner, buildMapThrottle)
|
2015-06-01 10:04:25 +00:00
|
|
|
|
2015-05-15 04:58:13 +00:00
|
|
|
// Build offsets for each line (lines can be wrapped)
|
|
|
|
// That's a bit dirty to process each line everytime, but ok for demo.
|
|
|
|
// Optimizations are required only for big texts.
|
2017-03-08 18:41:05 +00:00
|
|
|
function buildMapInner (callback) {
|
|
|
|
if (!viewArea || !markdownArea) return
|
2019-08-01 17:02:44 +00:00
|
|
|
let i, pos, a, b, acc
|
2017-03-08 18:41:05 +00:00
|
|
|
|
2019-08-01 17:02:44 +00:00
|
|
|
const offset = viewArea.scrollTop() - viewArea.offset().top
|
|
|
|
const _scrollMap = []
|
|
|
|
const nonEmptyList = []
|
|
|
|
const _lineHeightMap = []
|
2017-03-08 18:41:05 +00:00
|
|
|
viewTop = 0
|
|
|
|
viewBottom = viewArea[0].scrollHeight - viewArea.height()
|
|
|
|
|
|
|
|
acc = 0
|
2017-04-12 01:21:13 +00:00
|
|
|
const lines = editor.getValue().split('\n')
|
|
|
|
const lineHeight = editor.defaultTextHeight()
|
2017-03-08 18:41:05 +00:00
|
|
|
for (i = 0; i < lines.length; i++) {
|
|
|
|
const str = lines[i]
|
|
|
|
|
|
|
|
_lineHeightMap.push(acc)
|
|
|
|
|
|
|
|
if (str.length === 0) {
|
|
|
|
acc++
|
|
|
|
continue
|
2015-06-01 10:04:25 +00:00
|
|
|
}
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-04-12 01:21:13 +00:00
|
|
|
const h = editor.heightAtLine(i + 1) - editor.heightAtLine(i)
|
2017-03-08 18:41:05 +00:00
|
|
|
acc += Math.round(h / lineHeight)
|
|
|
|
}
|
|
|
|
_lineHeightMap.push(acc)
|
2019-08-01 17:02:44 +00:00
|
|
|
const linesCount = acc
|
2017-03-08 18:41:05 +00:00
|
|
|
|
|
|
|
for (i = 0; i < linesCount; i++) {
|
|
|
|
_scrollMap.push(-1)
|
|
|
|
}
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
nonEmptyList.push(0)
|
2019-04-12 09:56:03 +00:00
|
|
|
// make the first line go top
|
2017-03-08 18:41:05 +00:00
|
|
|
_scrollMap[0] = viewTop
|
|
|
|
|
|
|
|
const parts = markdownArea.find('.part').toArray()
|
|
|
|
for (i = 0; i < parts.length; i++) {
|
|
|
|
const $el = $(parts[i])
|
|
|
|
let t = $el.attr('data-startline') - 1
|
|
|
|
if (t === '') {
|
|
|
|
return
|
2015-06-01 10:04:25 +00:00
|
|
|
}
|
2017-03-08 18:41:05 +00:00
|
|
|
t = _lineHeightMap[t]
|
|
|
|
if (t !== 0 && t !== nonEmptyList[nonEmptyList.length - 1]) {
|
|
|
|
nonEmptyList.push(t)
|
|
|
|
}
|
|
|
|
_scrollMap[t] = Math.round($el.offset().top + offset - 10)
|
|
|
|
}
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
nonEmptyList.push(linesCount)
|
|
|
|
_scrollMap[linesCount] = viewArea[0].scrollHeight
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
pos = 0
|
|
|
|
for (i = 1; i < linesCount; i++) {
|
|
|
|
if (_scrollMap[i] !== -1) {
|
|
|
|
pos++
|
|
|
|
continue
|
2015-05-15 04:58:13 +00:00
|
|
|
}
|
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
a = nonEmptyList[pos]
|
|
|
|
b = nonEmptyList[pos + 1]
|
|
|
|
_scrollMap[i] = Math.round((_scrollMap[b] * (i - a) + _scrollMap[a] * (b - i)) / (b - a))
|
|
|
|
}
|
|
|
|
|
|
|
|
_scrollMap[0] = 0
|
2015-05-15 04:58:13 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
scrollMap = _scrollMap
|
|
|
|
lineHeightMap = _lineHeightMap
|
2015-06-01 10:04:25 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
if (window.loaded && callback) callback()
|
2015-05-15 04:58:13 +00:00
|
|
|
}
|
|
|
|
|
2016-05-27 16:31:43 +00:00
|
|
|
// sync view scroll progress to edit
|
2017-03-08 18:41:05 +00:00
|
|
|
let viewScrollingTimer = null
|
2016-10-08 12:02:30 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
export function syncScrollToEdit (event, preventAnimate) {
|
2017-04-12 01:21:13 +00:00
|
|
|
if (appState.currentMode !== modeType.both || !appState.syncscroll || !editArea) return
|
2017-03-08 18:41:05 +00:00
|
|
|
if (window.preventSyncScrollToEdit) {
|
|
|
|
if (typeof window.preventSyncScrollToEdit === 'number') {
|
|
|
|
window.preventSyncScrollToEdit--
|
2016-05-26 05:17:00 +00:00
|
|
|
} else {
|
2017-03-08 18:41:05 +00:00
|
|
|
window.preventSyncScrollToEdit = false
|
2016-05-26 05:17:00 +00:00
|
|
|
}
|
2017-03-08 18:41:05 +00:00
|
|
|
return
|
|
|
|
}
|
|
|
|
if (!scrollMap || !lineHeightMap) {
|
|
|
|
buildMap(() => {
|
|
|
|
syncScrollToEdit(event, preventAnimate)
|
|
|
|
})
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if (editScrolling) return
|
|
|
|
|
|
|
|
const scrollTop = viewArea[0].scrollTop
|
|
|
|
let lineIndex = 0
|
|
|
|
for (let i = 0, l = scrollMap.length; i < l; i++) {
|
|
|
|
if (scrollMap[i] > scrollTop) {
|
|
|
|
break
|
2016-05-29 05:58:32 +00:00
|
|
|
} else {
|
2017-03-08 18:41:05 +00:00
|
|
|
lineIndex = i
|
2016-05-29 05:58:32 +00:00
|
|
|
}
|
2017-03-08 18:41:05 +00:00
|
|
|
}
|
|
|
|
let lineNo = 0
|
|
|
|
let lineDiff = 0
|
|
|
|
for (let i = 0, l = lineHeightMap.length; i < l; i++) {
|
|
|
|
if (lineHeightMap[i] > lineIndex) {
|
|
|
|
break
|
|
|
|
} else {
|
|
|
|
lineNo = lineHeightMap[i]
|
|
|
|
lineDiff = lineHeightMap[i + 1] - lineNo
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let posTo = 0
|
|
|
|
let topDiffPercent = 0
|
|
|
|
let posToNextDiff = 0
|
2017-04-12 01:21:13 +00:00
|
|
|
const scrollInfo = editor.getScrollInfo()
|
|
|
|
const textHeight = editor.defaultTextHeight()
|
2017-03-08 18:41:05 +00:00
|
|
|
const preLastLineHeight = scrollInfo.height - scrollInfo.clientHeight - textHeight
|
|
|
|
const preLastLineNo = Math.round(preLastLineHeight / textHeight)
|
|
|
|
const preLastLinePos = scrollMap[preLastLineNo]
|
|
|
|
|
|
|
|
if (scrollInfo.height > scrollInfo.clientHeight && scrollTop >= preLastLinePos) {
|
|
|
|
posTo = preLastLineHeight
|
|
|
|
topDiffPercent = (scrollTop - preLastLinePos) / (viewBottom - preLastLinePos)
|
|
|
|
posToNextDiff = textHeight * topDiffPercent
|
|
|
|
posTo += Math.ceil(posToNextDiff)
|
|
|
|
} else {
|
|
|
|
posTo = lineNo * textHeight
|
|
|
|
topDiffPercent = (scrollTop - scrollMap[lineNo]) / (scrollMap[lineNo + lineDiff] - scrollMap[lineNo])
|
|
|
|
posToNextDiff = textHeight * lineDiff * topDiffPercent
|
|
|
|
posTo += Math.ceil(posToNextDiff)
|
|
|
|
}
|
|
|
|
|
|
|
|
if (preventAnimate) {
|
|
|
|
editArea.scrollTop(posTo)
|
|
|
|
} else {
|
|
|
|
const posDiff = Math.abs(scrollInfo.top - posTo)
|
|
|
|
var duration = posDiff / 50
|
|
|
|
duration = duration >= 100 ? duration : 100
|
|
|
|
editArea.stop(true, true).animate({
|
|
|
|
scrollTop: posTo
|
|
|
|
}, duration, 'linear')
|
|
|
|
}
|
|
|
|
|
|
|
|
viewScrolling = true
|
|
|
|
clearTimeout(viewScrollingTimer)
|
|
|
|
viewScrollingTimer = setTimeout(viewScrollingTimeoutInner, duration * 1.5)
|
2016-05-26 16:12:07 +00:00
|
|
|
}
|
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
function viewScrollingTimeoutInner () {
|
|
|
|
viewScrolling = false
|
2015-05-15 04:58:13 +00:00
|
|
|
}
|
|
|
|
|
2016-05-27 16:31:43 +00:00
|
|
|
// sync edit scroll progress to view
|
2017-03-08 18:41:05 +00:00
|
|
|
let editScrollingTimer = null
|
2016-10-08 12:02:30 +00:00
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
export function syncScrollToView (event, preventAnimate) {
|
2017-04-12 01:21:13 +00:00
|
|
|
if (appState.currentMode !== modeType.both || !appState.syncscroll || !viewArea) return
|
2017-03-08 18:41:05 +00:00
|
|
|
if (window.preventSyncScrollToView) {
|
|
|
|
if (typeof preventSyncScrollToView === 'number') {
|
|
|
|
window.preventSyncScrollToView--
|
2016-05-29 05:58:32 +00:00
|
|
|
} else {
|
2017-03-08 18:41:05 +00:00
|
|
|
window.preventSyncScrollToView = false
|
2016-05-29 05:58:32 +00:00
|
|
|
}
|
2017-03-08 18:41:05 +00:00
|
|
|
return
|
|
|
|
}
|
|
|
|
if (!scrollMap || !lineHeightMap) {
|
|
|
|
buildMap(() => {
|
|
|
|
syncScrollToView(event, preventAnimate)
|
|
|
|
})
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if (viewScrolling) return
|
|
|
|
|
2019-08-01 17:02:44 +00:00
|
|
|
let posTo
|
2017-03-08 18:41:05 +00:00
|
|
|
let topDiffPercent, posToNextDiff
|
2017-04-12 01:21:13 +00:00
|
|
|
const scrollInfo = editor.getScrollInfo()
|
|
|
|
const textHeight = editor.defaultTextHeight()
|
2019-08-01 17:02:44 +00:00
|
|
|
const lineNo = Math.floor(scrollInfo.top / textHeight)
|
2019-04-12 09:56:03 +00:00
|
|
|
// if reach the last line, will start lerp to the bottom
|
2017-03-08 18:41:05 +00:00
|
|
|
const diffToBottom = (scrollInfo.top + scrollInfo.clientHeight) - (scrollInfo.height - textHeight)
|
|
|
|
if (scrollInfo.height > scrollInfo.clientHeight && diffToBottom > 0) {
|
|
|
|
topDiffPercent = diffToBottom / textHeight
|
|
|
|
posTo = scrollMap[lineNo + 1]
|
|
|
|
posToNextDiff = (viewBottom - posTo) * topDiffPercent
|
|
|
|
posTo += Math.floor(posToNextDiff)
|
|
|
|
} else {
|
|
|
|
topDiffPercent = (scrollInfo.top % textHeight) / textHeight
|
|
|
|
posTo = scrollMap[lineNo]
|
|
|
|
posToNextDiff = (scrollMap[lineNo + 1] - posTo) * topDiffPercent
|
|
|
|
posTo += Math.floor(posToNextDiff)
|
|
|
|
}
|
|
|
|
|
|
|
|
if (preventAnimate) {
|
|
|
|
viewArea.scrollTop(posTo)
|
|
|
|
} else {
|
|
|
|
const posDiff = Math.abs(viewArea.scrollTop() - posTo)
|
|
|
|
var duration = posDiff / 50
|
|
|
|
duration = duration >= 100 ? duration : 100
|
|
|
|
viewArea.stop(true, true).animate({
|
|
|
|
scrollTop: posTo
|
|
|
|
}, duration, 'linear')
|
|
|
|
}
|
|
|
|
|
|
|
|
editScrolling = true
|
|
|
|
clearTimeout(editScrollingTimer)
|
|
|
|
editScrollingTimer = setTimeout(editScrollingTimeoutInner, duration * 1.5)
|
2016-05-27 16:31:43 +00:00
|
|
|
}
|
|
|
|
|
2017-03-08 18:41:05 +00:00
|
|
|
function editScrollingTimeoutInner () {
|
|
|
|
editScrolling = false
|
2016-10-08 12:02:30 +00:00
|
|
|
}
|