<map id="select_split_mode" name="select_split_mode">
<area shape="rect" id="node3" href="$preferences__manager_8c.html#abdc9f9b40ec937223a215e558f132a87" title="Read the preferences from the preferences file." alt="" coords="193,5,325,32"/>
</map>
