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

arsenarsen added a comment. Go ahead. REPOSITORY R120 Plasma Workspace REVISION DETAIL https://phabricator.kde.org/D15311 To: arsenarsen, broulik Cc: broulik, plasma-devel, ragreen, Pitel, ZrenBot, lesliezhai, ali-mohamed, jensreuterberg, abetts, sebas, apol, mart

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

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. Th