Add new stream control command STREAM_CTRL_GET_CURRENT_CHANNEL.

This provides the name of the currently selected DVB channel.

(Unsupported for analog TV though.)


git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@36524 b3059339-0415-0410-9bf9-f77b7e298cf2
Add support for TV/DVB to the GUI.

Support is limited to a single (resp. the first) card.

At the same time, add the new GUI option 'gui_tv_digital',
the new GUI message 'evPlayTV' and the new GUI font symbol 'b'.

Additionally, update the documentation.


git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@36525 b3059339-0415-0410-9bf9-f77b7e298cf2
Don't discard current DVD track information without cause.

In case STREAM_CTRL_GET_CURRENT_TITLE fails, use the information the
GUI already has (though it might be inaccurate in extremely rare cases).


git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@36526 b3059339-0415-0410-9bf9-f77b7e298cf2