[Media Player] Change int to double for positions
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 FIXED-IN: 5.12.7 Differential Revision: https://phabricator.kde.org/D15311
parent
99c0ef8c
Please register or sign in to comment