static int getDisplayWidth() {
if (wide_format_width <= 0) {
wide_format_width = getConsoleWindowSize();
if (wide_format_width <= 0)
wide_format_width = 80;
}
return wide_format_width;
}
int getDisplayWidth() {
if (forced_display_width <= 0) {
int width = getConsoleWindowSize();
if (width <= 0)
return wide_display ? 1024 : 80;
}
return forced_display_width;
}
static void printHeader()
{
// Print header
if ( ! longformat) {
if ( ! customFormat) {
// hack to get backward-compatible formatting
if ( ! wide_format && 80 == wide_format_width)
short_header();
else {
init_default_custom_format();
if ( ! wide_format || 0 != wide_format_width) {
int console_width = wide_format_width;
if (console_width <= 0) console_width = getConsoleWindowSize()-1; // -1 because we get double spacing if we use the full width.
if (console_width < 0) console_width = 1024;
mask.SetOverallWidth(console_width);
}
}
}
if (customFormat && mask.has_headings()) {
mask.display_Headings(stdout);
}
}
}
