Как получить lineNumber окна просмотра? - PullRequest
0 голосов
/ 24 февраля 2020

Получить строку вида и номер главы в окне просмотра:

Я хочу выделить текущую главу, поэтому мне нужно:

  1. прослушать редактор событие прокрутки
  2. получает первую и последнюю строку окна просмотраNumber
editor.onDidScrollChange(e => {
    console.log(e)
    console.log(editor.getLayoutInfo())
})

Я получил значения scrollTop и height окна просмотра, поэтому я могу вычислить scrollTop первой и последней строки, но как мне преобразовать scrollTop в lineNumber? Или есть другие предложения? Спасибо всем!

...