converts the given view line (view port line) index to its position in the overall buffer
int convertViewLineToRawLine(int viewLine);