convertViewLineToRawLine method
converts the given view line (view port line) index to its position in the overall buffer
Implementation
@override
int convertViewLineToRawLine(int viewLine) {
if (_lastState == null) {
return 0;
}
if (_lastState!.viewHeight > _lastState!.bufferHeight) {
return viewLine;
}
return viewLine + (_lastState!.bufferHeight - _lastState!.viewHeight);
}