util/human/io.lua
changeset 10914 e890b83f08cf
parent 10913 3af3354366eb
child 10915 9dc34e1556d9
--- a/util/human/io.lua	Thu Jun 04 18:36:47 2020 +0200
+++ b/util/human/io.lua	Thu Jun 04 18:40:37 2020 +0200
@@ -110,6 +110,9 @@
 			width = math.max(tonumber(width), title and (#title+1) or 0);
 			widths[i] = width;
 			free_width = free_width - width;
+			if i > 1 then
+				free_width = free_width - #separator;
+			end
 		end
 	end
 	-- Calculate width of %-based columns