<map id="get_preferences_filename" name="get_preferences_filename">
<area shape="rect" id="node2" href="$preferences__manager_8c.html#a0336825fccb68275b8fe986987fa2940" title="Read the preferences from the preferences file." alt="" coords="243,5,375,32"/>
</map>
