width property

int width
final

The width in terminal columns.

Implementation

final int width;