Skip to content

fix: re-enable precise chart editor scrolling, and also fix smooth scroll playhead/playbar playback#3806

Merged
EliteMasterEric merged 1 commit intodevelopfrom
chart-edit-scroll-tweaks
Oct 30, 2024
Merged

fix: re-enable precise chart editor scrolling, and also fix smooth scroll playhead/playbar playback#3806
EliteMasterEric merged 1 commit intodevelopfrom
chart-edit-scroll-tweaks

Conversation

@ninjamuffin99
Copy link
Member

my previous smooth scroll implementation seemed to have regressed some functionality with how clicking on the playbar/playhead of the track. This PR re-enables things the old functionality

along with that, also allow for CTRL + mouse wheel to scroll the chart in fine precise increments, which seemed like it was there mostly, but intentionally disabled at some point

@github-actions github-actions bot added pr: haxe PR modifies game code. size: small A small pull request with 10 or fewer changes. labels Oct 30, 2024
@EliteMasterEric EliteMasterEric merged commit 0d8e4a5 into develop Oct 30, 2024
@Hundrec Hundrec added type: minor bug Involves a minor bug or issue. status: accepted PR was approved for contribution. If it's not already merged, it may be merged on a private branch. labels Jan 22, 2025
@EliteMasterEric EliteMasterEric added this to the 0.6.0 milestone Jan 23, 2025
@Hundrec Hundrec added the topic: chart editor Related to the operation of the Chart Editor. label Mar 12, 2025
@EliteMasterEric EliteMasterEric added size: small A small pull request with 10 or fewer changes. and removed size: small A small pull request with 10 or fewer changes. labels May 14, 2025
dombomb64 pushed a commit to dombomb64/Funkin that referenced this pull request Jun 3, 2025
@Hundrec Hundrec deleted the chart-edit-scroll-tweaks branch September 8, 2025 09:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: haxe PR modifies game code. size: small A small pull request with 10 or fewer changes. status: accepted PR was approved for contribution. If it's not already merged, it may be merged on a private branch. topic: chart editor Related to the operation of the Chart Editor. type: minor bug Involves a minor bug or issue.

Development

Successfully merging this pull request may close these issues.

3 participants