`egui_extras::Table`: add an API which provide the row range to draw upfront about egui HOT 3 CLOSED

One solution is to simply add the full range as a second parameter to the closure:

let mut batch = vec![];

table_builder
    .header(re_ui::DesignTokens::table_line_height(), header_ui)
    .body(|body| {
        body.rows(line_height, row_count, |row, row_range: Range<usize>| {
            if row.index() == row_range.start {
                batch = load_batch(row_range);
            }
            show(row, batch);
        });
    });

However, that's maybe not the most ergonomic.

An alternative is

table_builder
    .header(re_ui::DesignTokens::table_line_height(), header_ui)
    .body(|body| {
        body.rows_ext(line_height, row_count,
            |row_range: Range<usize>| load_batch(row_range),
            |batch, row| show(row, batch)
        );
    });

from egui.

Either would be fine for me. The former needs to guarantee that the closure is called in the correct order. The latter is slightly weird wrt to ownership (I assume body take ownership of the first closure's returned value, and only provides a mutable(?) ref to the second closure)?

Wonder if a trait based API could be more ergonomics, as it could encompass everything (header row(s), on_row_batch(), on_row(), cell-based callback to accommodate for #5001).

from egui.

Done in https://github.com/rerun-io/egui_table

from egui.