The search functionality needs JavaScript enabled
The current height of the terminal (the number of rows)
int height() @property;