<map id="update_splitpoint" name="update_splitpoint">
<area shape="rect" id="node2" href="$splitpoints__window_8h.html#a70bcb2a47a280c1724e75dbc0ce410cd" title="Toggles a splitpoint&#39;s &quot;Keep&quot; flag." alt="" coords="201,5,377,32"/>
<area shape="rect" id="node3" href="$splitpoints__window_8h.html#a4e73e22ee27c4c036d57503397a0ea98" title="Set a splitpoint&#39;s time value." alt="" coords="187,56,392,83"/>
</map>
