Я создаю параллельный предварительный просмотр, поэтому мне нужно получить номер самой верхней видимой строки в редакторе.
Думаю, я могу получить прокрутку верхнего пикселя с помощью:
editor.onDidScrollChange(function (e) {
console.error(e.scrollTop);
});
и номер строки курсора с:
editor.getPosition().lineNumber
, но я не управлял верхней видимой строкой.