paginator: Switch page in the middle of the transition and not at the end

Take the position and round it, make the transition a bit more responsive.

paginator: Switch page in the middle of the transition and not at the end
9d335887 · Alexander Mikhaylenko · cb108979 · 9d335887
Commit 9d335887 authored Jul 14, 2020 by Alexander Mikhaylenko
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 3 deletions

paginator.rs src/widgets/paginator.rs +2 -3

No files found.
--- a/src/widgets/paginator.rs
+++ b/src/widgets/paginator.rs
@@ -69,13 +69,12 @@ impl PaginatorWidget {
            p.close_btn.set_opacity(opacity);
            p.close_btn.set_visible(opacity > 0_f64);
-        }));
-        self.carousel.connect_page_changed(clone!(@weak p => move |_carousel, page_nr| {
+            let page_nr = position.round() as u32;
            let pages = &p.pages.borrow();
            let page = pages.get(page_nr as usize).unwrap();
-            p.headerbar.set_title(Some(&page.get_title()));
+            p.headerbar.set_title(Some(&page.get_title()));
            p.current_page.replace(page_nr);
        }));