Wt

With latest github version, 3.3.3-72-g6c3f7d9, WTableView header text is clipped on the bottom with setHeaderHeight() greater than the default of 20. This can be observed in the widgetgallery example .../trees-tables/mvc-table-views; the descender on the "g" in "Age" is clipped in the first example on the page. The effect is more noticeable with larger header heights. This seems related to a height rule that was added to wt.css files with commit 1461dd65, possibly related to bug #3995. A temporary workaround is to comment-out this height rule in wt.css.