Issue #80: better scrolling for table widget