Controls to jump to next or previous segment

[dennis531]

Add the mentioned controls in #1283.

The controls are deactivated on the subtitle interface, as in my opinion the function is not needed here.

Screenshot with the controls:

[github-actions]

This pull request is deployed at test.editor.opencast.org/1317/2024-04-22_12-00-33/ .
It might take a few minutes for it to become available.

[lkiesow]

I found two problems with this:

1. When I'm in the middle of a segment and hit “jump back”, I would expect the end up at the start of the segment, not at the start of the previous segment. Or in other works, I would expect to jump to the next or last cut mark
2. I cannot jump while the video is playing

opencast-editor-jump-segment.mp4

[kai-wng-uos]

I agree with @lkiesow
that is also how it works in all media players I have used. maybe we should change the wording to "zum letzten Schnitt springen"

[github-actions]

This pull request is deployed at test.editor.opencast.org/1317/2024-04-26_09-14-05/ .
It might take a few minutes for it to become available.

[dennis531]

I found two problems with this:

1. When I'm in the middle of a segment and hit “jump back”, I would expect the end up at the start of the segment, not at the start of the previous segment. Or in other works, I would expect to jump to the next or last cut mark

2. I cannot jump while the video is playing

opencast-editor-jump-segment.mp4

I fixed the mentioned problems.

to 1: I added a 3 second threshold at the beginning of the segment as it was not possible to jump back to the next video when the playback is active. For the duration, I oriented myself on spotify's "jump back" function.

that is also how it works in all media players I have used. maybe we should change the wording to "zum letzten Schnitt springen"

I think we should change the wording too. Alternatively, we could provide a more general label like "Jump back" without explicitly mention the target. Especially with the treshhold, I'm not sure if your suggestion still fits.

[kai-wng-uos]

looks good to me now, Thanks @dennis531! As for the wording: I think a simple back/ forward might suffice. Users are already used to this wording with other media players.

[github-actions]

This pull request has conflicts ☹
Please resolve those so we can review the pull request.
Thanks.

[KatrinIhler]

Conflicts. :(

[github-actions]

This pull request is deployed at test.editor.opencast.org/1317/2024-04-26_12-25-11/ .
It might take a few minutes for it to become available.

[github-actions]

This pull request is deployed at test.editor.opencast.org/1317/2024-04-26_15-32-25/ .
It might take a few minutes for it to become available.

[lkiesow]

Looks good. I have a suggestion for a minor improvement for the 3 seconds threshold, but I'll file a separate pull request for that.