terminal_get_size
if (terminal_get_size(el, &lins, &cols))
(void) terminal_get_size(el, &lins, &cols);
protected int terminal_get_size(EditLine *, int *, int *);