dschreij/media_player_vlc — pull request #4 by smathot (2012-11-28 10:38:34+00:00)
Title: Further polish

Hi Daniel,

Here are some improvements to the VLC player. I also bundled it (minus the last commit) with 0.27~pre30, and it appears to work quite well.

TODO: Update the help file.

Cheers.
Sebastiaan