Skip to content
Snippets Groups Projects
Select Git revision
  • master
  • bugfix/ipad_audios
  • audio-test
  • e2e/options
  • templates2
  • e2e/droplist
  • aspect_unit_converter
  • spell_correct_readonly
  • regal
  • editor_fixes
  • cloze-formula-fix
  • refactor/text-area-math
  • temp
  • alias
  • unit-nav-button
  • feature/mark_with_click
  • release/editor_2.4.10+player_2.4.13
  • release/player_2.4.12
  • duplicate_elements
  • math-editor
  • editor/2.9.1+player/2.9.1
  • editor/2.9.0+player/2.9.0
  • editor/2.9.0-beta2+player/2.9.0-beta2
  • editor/2.9.0-beta+player/2.9.0-beta
  • editor/2.8.0+player/2.8.0
  • editor/2.8.0-beta2+player/2.8.0-beta2
  • editor/2.8.0-beta+player/2.8.0-beta
  • editor/2.7.4+player/2.7.4
  • editor/2.7.3+player/2.7.3
  • editor/2.7.2+player/2.7.2
  • editor/2.7.1+player/2.7.1
  • editor/2.7.0+player/2.7.0
  • editor/2.6.4+player/2.6.4
  • editor/2.6.3+player/2.6.3
  • editor/2.6.2+player/2.6.2
  • editor/2.6.1+player/2.6.1
  • editor/2.6.0+player/2.6.0
  • editor/2.6.0-beta11+player/2.6.0-beta11
  • editor/2.6.0-beta10+player/2.6.0-beta10
  • editor/2.6.0-beta9+player/2.6.0-beta9
40 results
Compare
user avatar
[player] Update playback time when audio/video pauses or stops
jojohoch authored 
This is necessary to avoid playing parts of audios and videos twice
when a unit is reloaded, since audios and videos send their playback
time only every 5 seconds when they are played back.
9644c302
History
user avatar 9644c302
History

Impressum | Datenschutzerklärung