gwt table td tr getOffsetHeight() inconsistency if border is set

In Gxt3 grid’s column header, if you set any border to the header row, your column header will grow. Also if you have filter in the header, even just hovering on the filter will cause the growth. After digging into the code, the following code in ColumnHeader causes this: (my current version is 3.0.6) This…