<map id="put_options_from_preferences" name="put_options_from_preferences">
<area shape="rect" id="node2" href="$preferences__window_8c.html#aff14ef1f4e08260215373e24919e0045" title="returns the checked tags radio box" alt="" coords="273,5,463,46"/>
<area shape="rect" id="node3" href="$group__splt__options__.html#gacc5c89dc3e269e36af9c0865bd930dd8" title="Sets the value of a float option in the state." alt="" coords="277,71,459,97"/>
<area shape="rect" id="node4" href="$group__splt__options__.html#ga8407f94a4433e77aebd4bcc63e900b3d" title="Sets the value of an int option in the state." alt="" coords="283,121,453,148"/>
<area shape="rect" id="node5" href="$group__splt__options__.html#ga62e95a9f2cdfb1a68afec7b4e40394ef" title="Sets the value of a long option in the state." alt="" coords="277,172,459,199"/>
</map>
