public int plaline_len(int offset){
  return lines_list.size() + offset;
}

public int plaline_len ( int offset ) { return lines_list . size ( ) + offset ; }
return the plalinelen plus the given offset
