D15311: [Media Player] Change int to double for positions

[Arsen Arsen]

arsenarsen created this revision.
Herald added a project: Plasma.
Herald added a subscriber: plasma-devel.
arsenarsen requested review of this revision.

REVISION 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

REPOSITORY
  R120 Plasma Workspace

REVISION DETAIL
  https://phabricator.kde.org/D15311

AFFECTED FILES
  applets/mediacontroller/contents/ui/ExpandedRepresentation.qml

To: arsenarsen
Cc: plasma-devel, ragreen, Pitel, ZrenBot, lesliezhai, ali-mohamed, jensreuterberg, abetts, sebas, apol, mart
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/plasma-devel/attachments/20180906/cf878edf/attachment.html>