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

Add option to customize the Play selection commands #65

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

tabaha
Copy link

@tabaha tabaha commented Feb 20, 2020

Add the possibility to configure the duration of the following commands:

  • audio/play/selection/before
  • audio/play/selection/after
  • audio/play/selection/end
  • audio/play/selection/begin

Those were hardcoded to 500ms and there might be use cases where a different duration might be useful

… selection" and "Play first/last x ms of selection" commands
@FichteFoll
Copy link
Contributor

FichteFoll commented Feb 24, 2020

Shouldn't these be added to the settings UI as well? I don't know if there are any existing policies regarding file-only configuration.

@tabaha
Copy link
Author

tabaha commented Feb 25, 2020

I added them to the settings UI. I didn't create a dedicated groupbox for them though.

image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants