<map id="check_update_down_progress_bar" name="check_update_down_progress_bar">
<area shape="rect" id="node2" href="$main__window_8c.html#abd633d008e1b43bd3656e37fe741df45" title="Get the name of the input file." alt="" coords="301,5,445,32"/>
<area shape="rect" id="node3" href="$split__files__window_8c.html#aa6b49778427d70bcd29e8d0d027226bc" title="finding the real name of the file, without the path" alt="" coords="296,57,451,98"/>
<area shape="rect" id="node4" href="$splitpoints__window_8c.html#a80a89830d719567241242e70e93b2e95" title="returns the name of the splitpoint" alt="" coords="297,123,449,149"/>
</map>
