[Media Player] Change int to double for positions
ClosedPublic

Authored by arsenarsen on Sep 6 2018, 8:09 AM.

Details

Summary

In previous versions of Plasma, media player had an overflow bug in positions, leading to the player resetting to 00:00.
This only affects files longer than around 33 minutes 20 seconds.

BUG: 397591

Diff Detail

Repository
R120 Plasma Workspace
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
arsenarsen created this revision.Sep 6 2018, 8:09 AM
Restricted Application added a project: Plasma. · View Herald TranscriptSep 6 2018, 8:09 AM
Restricted Application added a subscriber: plasma-devel. · View Herald Transcript
arsenarsen requested review of this revision.Sep 6 2018, 8:09 AM
broulik accepted this revision.Sep 6 2018, 8:22 AM
broulik added a subscriber: broulik.

Thanks! I will commit this on your behalf if you don't mind.

This revision is now accepted and ready to land.Sep 6 2018, 8:22 AM
This revision was automatically updated to reflect the committed changes.