# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1591288310 -7200
# Node ID 6af28c7567529baa7e3d645e95a8b475c7f890d1
# Parent  a1fed82c44b99af1572c841ba3b3e3b9722a0437
util.human.io: Draw a separator between columns

diff -r a1fed82c44b9 -r 6af28c756752 util/human/io.lua
--- a/util/human/io.lua	Thu Jun 04 17:30:44 2020 +0100
+++ b/util/human/io.lua	Thu Jun 04 18:31:50 2020 +0200
@@ -97,9 +97,10 @@
 
 local function new_table(col_specs, max_width)
 	max_width = max_width or tonumber(os.getenv("COLUMNS")) or 80;
+	local separator = " | ";
 
 	local widths = {};
-	local total_width = max_width;
+	local total_width = max_width - #separator * (#col_specs-1);
 	local free_width = total_width;
 	-- Calculate width of fixed-size columns
 	for i = 1, #col_specs do
@@ -137,7 +138,7 @@
 			end
 			table.insert(output, v);
 		end
-		return table.concat(output);
+		return table.concat(output, separator);
 	end;
 end