Delete unused stuff in the pulseaudio player
Fix reloading the video provider after settings changes
Stop video playback when seeking due to switching active lines
Fix the paste over dialog