GRIN/grim
1
0
Fork 1
mirror of https://code.gri.mw/GUI/grim.git synced 2026-07-04 05:57:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

pull_to_refresh: refresh when dragged far enough without release

Browse Source
This commit is contained in:
ardocrat
2026-04-10 15:38:43 +03:00
parent 0bb43e1e5d
commit 70bba5d7ce
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/gui/views/pull_to_refresh.rs
+7 -1
View File
@@ -113,7 +113,7 @@ pub enum PullToRefreshState {
/// `far_enough` is true if the user dragged far enough to trigger a refresh.
far_enough: bool,
},
/// The user dragged far enough to trigger a refresh and released the pointer.
/// The user dragged far enough to trigger a refresh.
DoRefresh,
/// The refresh is currently happening.
Refreshing,
@@ -298,6 +298,12 @@ impl PullToRefresh {
} else {
state = PullToRefreshState::Idle;
}
} else if let PullToRefreshState::Dragging {
far_enough: enough, ..
} = state.clone() {
if enough {
state = PullToRefreshState::DoRefresh;
}
}
} else {
state = PullToRefreshState::Idle;