Skip to content

Fix editor not seeking smoothly when paused#35965

Merged
bdach merged 1 commit intoppy:masterfrom
peppy:debounce-seek-only-when-playing
Dec 11, 2025
Merged

Fix editor not seeking smoothly when paused#35965
bdach merged 1 commit intoppy:masterfrom
peppy:debounce-seek-only-when-playing

Conversation

@peppy
Copy link
Copy Markdown
Member

@peppy peppy commented Dec 11, 2025

This fixes the editor no longer seeking smoothly when paused.

Closes #35963.

This fixes the editor no longer seeking smoothly when paused.

Closes ppy#35963.
@bdach bdach merged commit 0ffb862 into ppy:master Dec 11, 2025
8 checks passed
@peppy peppy deleted the debounce-seek-only-when-playing branch December 15, 2025 05:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Editor does not scroll smoothly when paused

2 participants