display property

Terminal display preferences (dimensions + text size).

Implementation

final TerminalDisplayController display;