window: Show controls on mouse click

2023-05-01 17:44:45 +02:00 · 2023-05-01 17:44:45 +02:00 · 24bbd7eae2
commit 24bbd7eae2
parent a8693c50ef
3 changed files with 17 additions and 0 deletions
--- a/src/widgets/image_view.rs
+++ b/src/widgets/image_view.rs
@ -176,6 +176,7 @@ mod imp {
                        gesture.set_state(gtk::EventSequenceState::Denied);
                        None
                    } else {
+                        gesture.set_state(gtk::EventSequenceState::Claimed);
                        obj.current_page().and_then(|p| p.content_provider())
                    }
                }),