devtools

Calculate the width of a table's columns more accurately

#4723

Merged