<map id="gstreamer_pause" name="gstreamer_pause">
<area shape="rect" id="node2" href="$gstreamer__control_8c.html#a7c94e9c40e444b6c71ad9920d154eeec" title="plays a song" alt="" coords="189,5,312,32"/>
<area shape="rect" id="node3" href="$gstreamer__control_8c.html#a667b8bb12dbac076a04f7c8eedffac2f" title="jump to time" alt="" coords="360,5,488,32"/>
</map>
