# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1591287870 -3600
# Node ID d009a79f723a494623d2305936193df17401455a
# Parent  c5f26f9adb31c1cd127237576249cb18d6824ed9
util.human.io: Remove padding option and use $COLUMNS as default width

diff -r c5f26f9adb31 -r d009a79f723a util/human/io.lua
--- a/util/human/io.lua	Thu Jun 04 16:56:28 2020 +0200
+++ b/util/human/io.lua	Thu Jun 04 17:24:30 2020 +0100
@@ -95,12 +95,11 @@
 	return string.rep(" ", width-#s)..s;
 end
 
-local function new_table(col_specs, max_width, padding)
-	max_width = max_width or 80;
-	padding = padding or 4;
+local function new_table(col_specs, max_width)
+	max_width = max_width or tonumber(os.getenv("COLUMNS")) or 80;
 
 	local widths = {};
-	local total_width = max_width - padding;
+	local total_width = max_width;
 	local free_width = total_width;
 	-- Calculate width of fixed-size columns
 	for i = 1, #col_specs do