feat(media): add session switching functionality #162
Merged
+92
−34
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pull request adds session switching functionality to the media widget, fixes #139.
Using scroll wheel on the media widget, sessions can be switched.
Changes:
_current_session_only
decorator to ensure session update functions are called only if the session is the same as the current session.switch_session
method and updatedplay_pause
,prev
, andnext
methods to use the current session._on_media_properties_changed
.wheelEvent
to switch media sessions using the mouse wheel.Demo:
Following is a demo of the media widget handling 3 sessions:
Recording.2025-03-20.141811.mp4