[MPlayer-dev-eng] [PATCH] xml docs fix and mpst:// docs

[Diego Biurrun]

Diego following up on ancient threads again ;-)

Alban Bedel writes:
> Hi D Richard Felker III,
> 
> on Mon, 21 Apr 2003 13:05:50 -0400 you wrote:
> 
> > On Mon, Apr 21, 2003 at 06:54:39PM +0200, Alban Bedel wrote:
> > > 
> > > on Mon, 21 Apr 2003 18:05:55 +0200 you wrote:
> > > 
> > > > On Mon, Apr 21, 2003 at 01:41:12PM +0200, Alban Bedel wrote:
> > > > > At least the -use-stdin part should be corrected as it's state
> > > > > that -use-stdin is equivalent to - wich is plain WRONG.
> > > > 
> > > > Wait, what's the difference between -use-stdin and - then?  It's not
> > > > very clear from the description yet..
> > > 
> > > Ok the name -use-stdin is misleading and my new description is not
> > > really better.
> > > As useal on *nix - mean stdin or stdout (depending on the contex). So
> > > when you put a - on the command line it's a filename (wich here mean
> > > stdin).
> > > But when mplayer read data from stdin it shouldn't try to read key
> > > events from it or everything just goes wrong. So i put this option
> > > wich prevent mplayer from reading key events from stdin.
> > > For conivence -use-stdin is auto-enabled when - is found on the
> > > command line. But in some case we can't know (when parsing the command
> > > line) that stdin will be used for data, hence this option wich allow
> > > to set it mannualy.
> > > In short when putting -use-stdin on the command line mplayer will NOT
> > > read key events from stdin thus letting it free for other uses (like
> > > reading movie data, or whatever).
> > > I hope it's about clear now. As a last resort here is the related code
> > > wich is perhaps easier to understand than my wired english ;)
> > 
> > IMO it should be renamed to -noconsolecontrols or something...
> 
> I agree that -use-stdin is bad (at least from a user pov) but i don't
> really like -noconsolecontrols either ;) But at least it's not
> misleading from a user pov.
> Also it should be ok to rename this option as i doubt that there is many
> users using it out there.
> Sorry for not proposing a better name but i'm short on name idea atm :(

After more than a year without reaction and clever ideas I assume that
no better name will fall from the sky, so I will take matters into my
own hands and rename this option in the next days unless a storm of
protest erupts.

So
  -use-stdin

will be renamed to

  -noconsolecontrols

or maybe to

  -noconsolekeyevents

if somebody prefers the latter.  Opinions/votes welcome.

Diego