# HG changeset patch
# User František Kučera <franta-hg@frantovo.cz>
# Date 1544834567 -3600
# Node ID 3435efcaa8ca1015f09793171d5a5ad40284c4e0
# Parent  4b4cf9843bfe5bcc2ce5b45449f82aae8444105d
fix table width: reset widths to 0
when there was a table with wider column, it stayed wide in consequent tables

diff -r 4b4cf9843bfe -r 3435efcaa8ca src/TabularPrefetchingHandler.h
--- a/src/TabularPrefetchingHandler.h	Sun Dec 09 23:27:22 2018 +0100
+++ b/src/TabularPrefetchingHandler.h	Sat Dec 15 01:42:47 2018 +0100
@@ -180,6 +180,7 @@
 		columnTypeCodes.resize(columnCount);
 		columnNames.resize(columnCount);
 		columnWidths.resize(columnCount, 0);
+		fill(columnWidths.begin(), columnWidths.end(), 0);
 		for (int i = 0; i < attributes.size(); i++) {
 			columnNames[i] = attributes[i].getAttributeName();
 			columnTypes[i] = attributes[i].getTypeId();