<map id="load_preferences" name="load_preferences">
<area shape="rect" id="node2" href="$preferences__window_8c.html#abe05aeb24af9fb47b11d5b2a345ceb30" title="Get the name of the output directory." alt="" coords="204,5,359,32"/>
<area shape="rect" id="node3" href="$preferences__manager_8c.html#afa53a6052d4921204db9074d8e9dd90f" title="Get the name of the preferences file." alt="" coords="187,56,375,83"/>
<area shape="rect" id="node4" href="$split__mode__window_8c.html#a2ade440716b6cc3cd3903ab315e91eff" title="Set the split mode." alt="" coords="213,107,350,133"/>
</map>
