width property

int width
final

Width of the terminal in number of columns.

Implementation

final int width;