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.

Sign up for GitHub

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

Jump to bottom

Audio Editor #29

Closed
RobDavenport opened this issue Aug 2, 2022 · 2 comments
Closed

Audio Editor #29

RobDavenport opened this issue Aug 2, 2022 · 2 comments
Labels
Discussion Discussions and non-concrete issues. Editor Related to the Editor crate. enhancement New feature or request help wanted Extra attention is needed

Comments

@RobDavenport
Copy link
Member

RobDavenport commented Aug 2, 2022 •
edited

Primarily a discussion topic. See the primary issue over at console.
@RobDavenport RobDavenport added enhancement New feature or request help wanted Extra attention is needed labels Aug 2, 2022
@RobDavenport RobDavenport mentioned this issue Aug 2, 2022
Closed
4 tasks
@RobDavenport RobDavenport transferred this issue from gamercade-io/gamercade_editor Aug 22, 2022
@RobDavenport RobDavenport added Editor Related to the Editor crate. Discussion Discussions and non-concrete issues. labels Aug 22, 2022
@RobDavenport RobDavenport pinned this issue Aug 24, 2022
@RobDavenport
Copy link
Member Author

Draft PR for this up at #43

@RobDavenport
Copy link
Member Author

Closing this in favor or PR

@RobDavenport RobDavenport unpinned this issue Sep 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Discussion Discussions and non-concrete issues. Editor Related to the Editor crate. enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@RobDavenport