Searched refs:ui_terminal_width (Results 1 – 2 of 2) sorted by relevance
441 if(result.length() > ui_terminal_width()/2) { in get_display_arg()1010 index_t ui_terminal_width() { in ui_terminal_width() function1029 sub(ui_terminal_width(), 2 + ui_left_margin + ui_right_margin) in ui_separator()1097 ui_terminal_width(), in ui_separator()1132 sub(ui_terminal_width(), 4 + ui_left_margin + ui_right_margin); in ui_message()1183 ui_pad('\b', ui_terminal_width()); in ui_clear_line()1200 sub(ui_terminal_width(), 2 + ui_left_margin + ui_right_margin) in ui_close_separator()1239 sub(ui_terminal_width(), 43 + ui_left_margin + ui_right_margin); in ui_progress()
625 index_t GEOGRAM_API ui_terminal_width();