int convertViewLineToRawLine(int viewLine) { if (_terminal.viewHeight > height) { return viewLine; } return viewLine + (height - _terminal.viewHeight); }