height property

int get height

Implementation

int get height {
  return lines.length;
}