(self, position)
音乐在Media里以毫秒的形式保存，这里是播放时的进度条。
音乐在Media里以毫秒的形式保存，这里是播放时的进度条。
音乐在Media里以毫秒的形式保存，这里是播放时的进度条。
def positionChangedEvent(self, position):
        """音乐在Media里以毫秒的形式保存，这里是播放时的进度条。"""
        currentTime = self.position()/1000
        transedTime = self.transTime(currentTime)
        self.playWidgets.currentTime.setText(transedTime)
        self.timeChanged.emit(transedTime)

        # position先于duration变化，会出现/0的情况。
        if self.musicTime == 0:
            return
        # *1000是为了与进度条的范围相匹配。
        self.playWidgets.slider.setValue(currentTime/self.musicTime*1000)
        self.setLyricEvent(position)
def positionChangedEvent ( self , position ) : currentTime = self . position ( ) / 1000 transedTime = self . transTime ( currentTime ) self . playWidgets . currentTime . setText ( transedTime ) self . timeChanged . emit ( transedTime ) # position先于duration变化，会出现/0的情况。 if self . musicTime == 0 : return # *1000是为了与进度条的范围相匹配。 self . playWidgets . slider . setValue ( currentTime / self . musicTime * 1000 ) self . setLyricEvent ( position )