The Table widget is used to create incremental partially-rendered tables. It provides sorting, focus and (possibly floating) table header support.
Behind the scenes it uses Partial_render_list
so it works with very large tables
(e.g 10,000 rows).
module Focus_dir = Focus_dir
module Margin = Margin
module Scroll_region = Scroll_region
module Float_type = Float_type