<map id="load_preferences" name="load_preferences">
<area shape="rect" id="node3" href="$preferences__manager_8c.html#afa53a6052d4921204db9074d8e9dd90f" title="Get the name of the preferences file." alt="" coords="187,5,375,32"/>
<area shape="rect" id="node5" href="$preferences__tab_8c.html#a4ce6f6f5871f43fa88b99bec9ff7fe0c" title="Get the name of the output directory." alt="" coords="207,56,355,83"/>
<area shape="rect" id="node7" href="$preferences__tab_8c.html#ae756ff8b646787348d67b20723a3f0a4" title="Set the name of the output directory." alt="" coords="208,107,355,133"/>
<area shape="rect" id="node9" href="$special__split_8c.html#a19d58732f8f72512f48eec43e1044a50" title="Set the split mode." alt="" coords="213,157,350,184"/>
</map>
