private void growColumn(String value, int column) {
		int length = !value.isEmpty() ? getLineWidth(value) + COLUMN_PADDING : COLUMN_PADDING;
		if (column >= columnWidths.size()) {
			columnWidths.add(length);
			return;
		}
		if (columnWidths.get(column) < length) {
			columnWidths.set(column, length);
		}
	}
Grows the provided column appropriately for the newly added value

@param value the newly added value
@param column the column number
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/RstTableBuilder.java