This can reportedly be used to overlay HTML content on top of the VLC
widget. That being said, overlay is not a portable option *ahem*.

This is too late to change command line options anyway.

We will print a fatal error afterward anyway.

Yes, I know, I am not using 1.4.1...

Most probably nobody uses this (in VLC context). In fact, it would
cause many existing VLC command line examples /out there/ to fail
mysteriously.

This simplifies the code a little bit and kills a static variable.

Prevent unnecessary memory accumulation when new submenus are
created again and again.

Signed-off-by: Rémi Denis-Courmont <remi@remlab.net>

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

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

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

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

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

Close #3471

Just deactivate proper seeking