<map id="progress_bar_value_changed_event" name="progress_bar_value_changed_event">
<area shape="rect" id="node3" href="$player__tab_8c.html#a9b6deacd1de9b2871736f1ca1db4d8d9" title="updates bottom progress bar" alt="" coords="200,71,443,97"/>
<area shape="rect" id="node11" href="$player__tab_8c.html#aab68b7e206f4328afeea79bfb54670c9" title="returns the total elapsed time" alt="" coords="253,121,389,148"/>
<area shape="rect" id="node5" href="$player__tab_8c.html#a0cf65a8c620c5acb07d38160f22f444e" title="finding the real name of the file, without the path" alt="" coords="491,5,645,46"/>
<area shape="rect" id="node7" href="$tree__tab_8c.html#a7e9e16ea3a40b73240af06576b8bf03f" title="returns the name of the splitpoint" alt="" coords="492,71,644,97"/>
<area shape="rect" id="node9" href="$player__tab_8c.html#a7d57579d2b9ae472368c055b0390f7cc" title="Get the name of the input file." alt="" coords="499,121,637,148"/>
</map>
