Searched refs:phpdbg_get_terminal_width (Results 1 – 24 of 24) sorted by relevance
75 PHPDBG_API uint32_t phpdbg_get_terminal_width(void);
53 uint32_t term_width = phpdbg_get_terminal_width(); in pretty_print()
350 PHPDBG_API uint32_t phpdbg_get_terminal_width(void) /* {{{ */ in phpdbg_get_terminal_width() function
75 PHPDBG_API int phpdbg_get_terminal_width(void);
54 unsigned int term_width = phpdbg_get_terminal_width(); in pretty_print()
334 PHPDBG_API int phpdbg_get_terminal_width(void) /* {{{ */ in phpdbg_get_terminal_width() function
77 PHPDBG_API int phpdbg_get_terminal_width(void);
56 unsigned int term_width = phpdbg_get_terminal_width(); in pretty_print()
336 PHPDBG_API int phpdbg_get_terminal_width(void) /* {{{ */ in phpdbg_get_terminal_width() function