<map id="gstreamer_get_playlist_number" name="gstreamer_get_playlist_number">
<area shape="rect" id="node2" href="$player__control_8c.html#a8abc58b550f4083e6e2f51f6c41b1f51" title="returns the number of songs in the playlist" alt="" coords="222,5,362,46"/>
</map>
