From ac1bf1afae5eccc2a703a030cf0c07fecbc7f378 Mon Sep 17 00:00:00 2001 From: Clement Rey Date: Wed, 9 Oct 2024 18:07:41 +0200 Subject: [PATCH] enable pagination in dataframe view --- crates/viewer/re_space_view_dataframe/src/dataframe_ui.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/viewer/re_space_view_dataframe/src/dataframe_ui.rs b/crates/viewer/re_space_view_dataframe/src/dataframe_ui.rs index ab151588835b..0fb0cba0ff94 100644 --- a/crates/viewer/re_space_view_dataframe/src/dataframe_ui.rs +++ b/crates/viewer/re_space_view_dataframe/src/dataframe_ui.rs @@ -202,9 +202,9 @@ impl<'a> egui_table::TableDelegate for DataframeTableDelegate<'a> { let timeline = self.query_handle.query().filtered_index; - //TODO(ab, cmc): we probably need a better way to run a paginated query. + self.query_handle + .seek_to_row(info.visible_rows.start as usize); let data = std::iter::from_fn(|| self.query_handle.next_row()) - .skip(info.visible_rows.start as usize) .take((info.visible_rows.end - info.visible_rows.start) as usize) .collect();