div class='dont-index'><p>Other tools: 
<code><a href='tool_box_zoom.html'>tool_box_zoom</a>()</code>,
<code><a href='tool_crosshair.html'>tool_crosshair</a>()</code>,
<code><a href='tool_hover.html'>tool_hover</a>()</code>,
<code><a href='tool_lasso_select.html'>tool_lasso_select</a>()</code>,
<code><a href='tool_pan.html'>tool_pan</a>()</code>,
<code><a href='tool_reset.html'>tool_reset</a>()</code>,
<code><a href='tool_resize.html'>tool_resize</a>()</code>,
<code><a href='tool_save.html'>tool_save</a>()<