videolan/vlc — pull request #11 by sorbits (2014-02-13 16:03:06+00:00)
Title: Pause Spotify when video playback starts

Spotify does not have an API to query it for whether or not it is currently playing something, which means we can’t resume Spotify playback after video has finished (since we do not know if we actually did stop Spotify, or if it was already in a stopped state).

I was unsure about the last argument to `add_bool`.