There are no simple ways to find the right proxy on Android, even in
Java. A proposed "solution" is suggested in the comments, but it would
require JNI. Feel free to implement :)

Added the following shortcuts (and made them configurable):
 - Shift-H: sets a timestamp bookmark on the audio
 - Shift-J: sets a timestamp bookmark on the subtitle
 - Shift-K: corrects the delay between both bookmarks
 - Command-Shift-K: resets the delay

See http://forum.videolan.org/viewtopic.php?f=7&t=109641 for an
illustration of a possible use
Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>

This reverts commit 7a15955a.
This was never actually used; it was inadequate for V4L.

Conflicts:
	include/vlc_demux.h

Instead, use a jack_ringbuffer which is shared between the thread
calling Play() and JACK's audio Process() thread. The ringbuffer is
a lock-free structure, safe for one writer and one reader thread to
use.
Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>

Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>

GET_PARAMETER isn't reported to be supported by Windows Media Server in its OPTIONS.
However, it is needed to prevent automatic session timeout after 120 seconds.
Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>

This simplifies and factors code for stream_Url and input.
Also refs #8414.

Compare items ID, not paths which creates duplicates

This happened when selecting radio discovery, for instance.
Probably also fixes #7516.

(so that channel reordering works)

Due to instability and leaks in libproxy, VLC now uses the executable
binary from libproxy-tools instead directly calling the functions.

To 4.0, 2.0 and 1.0

There should be no functionnal change here