<map id="draw_marks" name="draw_marks">
<area shape="rect" id="node3" href="$player__tab_8c.html#afce1ff6b4175a8846bd13f7b530c5867" title="returns the position of a time mark on the screen" alt="" coords="153,5,319,32"/>
<area shape="rect" id="node5" href="$player__tab_8c.html#a777342e005609bb52e602d490d04e2ec" title="Convert time into to pixels." alt="" coords="368,5,483,32"/>
</map>
