<map id="set_language" name="set_language">
<area shape="rect" id="node3" href="$preferences__manager_8c.html#afa53a6052d4921204db9074d8e9dd90f" title="Get the name of the preferences file." alt="" coords="163,5,351,32"/>
</map>
