fix table width: reset widths to 0
when there was a table with wider column, it stayed wide in consequent tables
--- 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();