<map id="put_options_from_preferences" name="put_options_from_preferences">
<area shape="rect" id="node3" href="$preferences__tab_8c.html#a982e097982a1d263a4a5b17aee60ae83" title="returns the checked tags radio box" alt="" coords="273,5,463,46"/>
</map>
