<map id="change_current_filename" name="change_current_filename">
<area shape="rect" id="node2" href="$main__window_8c.html#abd633d008e1b43bd3656e37fe741df45" title="Get the name of the input file." alt="" coords="237,5,381,32"/>
<area shape="rect" id="node3" href="$main__window_8c.html#a26b9749452a71152d02969e16309030d" title="Set the name of the input file." alt="" coords="238,56,381,83"/>
</map>
