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