<map id="gstreamer_get_filename" name="gstreamer_get_filename">
<area shape="rect" id="node3" href="$player__tab_8c.html#a7d57579d2b9ae472368c055b0390f7cc" title="Get the name of the input file." alt="" coords="233,5,370,32"/>
</map>
