Module Terminal_sizeSource

Get the dimensions of the terminal

Sourceval get_rows : unit -> int option

Return the number of rows that can be displayed

Sourceval get_columns : unit -> int option

Return the number of columns that can be displayed