Fix bug where filtering after having scrolled part way down would cause the table height to be incorrect
Fix bug where filtering after having scrolled part way down would cause
the table height to be incorrect

foam-framework/foam2,foam-framework/foam2,foam-framework/foam2,foam-framework/foam2,jacksonic/vjlofvhjfgm,jacksonic/vjlofvhjfgm,foam-framework/foam2,jacksonic/vjlofvhjfgm