Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhancement: Properly format the chart editor playbar #3537

Merged
merged 1 commit into from
Oct 4, 2024

Conversation

afreetoplaynoob
Copy link
Contributor

Briefly describe the issue(s) fixed.

Minor change, but this makes the song time in the chart editor follow a proper time format.

Include any relevant screenshots or videos.

Before:
with colon

After:
with dot

Minor change, but this makes the song time in the chart editor follow a proper time format.
@EliteMasterEric
Copy link
Member

I thought of doing this then forgot, nice change 👍

@EliteMasterEric EliteMasterEric changed the base branch from main to develop October 4, 2024 03:55
@EliteMasterEric EliteMasterEric merged commit f1b6e6c into FunkinCrew:develop Oct 4, 2024
@EliteMasterEric EliteMasterEric added this to the 0.5.2 milestone Oct 4, 2024
@EliteMasterEric EliteMasterEric added type: enhancement Provides an enhancement or new feature. chart editor Issue is related to the operation of the Chart Editor. status: accepted Approved for contribution. If it's not already merged, it may be merged on a private branch. labels Oct 4, 2024
@afreetoplaynoob afreetoplaynoob deleted the patch-1 branch October 4, 2024 16:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chart editor Issue is related to the operation of the Chart Editor. status: accepted Approved for contribution. If it's not already merged, it may be merged on a private branch. type: enhancement Provides an enhancement or new feature.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants