<map id="handle_player_detached_event" name="handle_player_detached_event">
<area shape="rect" id="node3" href="$player__tab_8c.html#aee2b996c2438e74e08438014d789895a" title="when closing the new window after detaching" alt="" coords="233,5,381,46"/>
</map>
