2020-01-29 05:12:12 +01:00
|
|
|
module term
|
|
|
|
|
|
|
|
// get_terminal_size returns a number of colums and rows of terminal window.
|
|
|
|
pub fn get_terminal_size() (int, int) {
|
2021-05-08 12:32:29 +02:00
|
|
|
// TODO Find a way to get proper width & height of the terminal
|
|
|
|
// on a Javascript environment
|
|
|
|
return default_columns_size, default_rows_size
|
2020-01-29 05:12:12 +01:00
|
|
|
}
|