function mv_seqtool_clipboard($clipboard_action) { $MV_SequenceTools = new MV_SequenceTools(); return $MV_SequenceTools->do_clipboard($action); }
function mv_seqtool_disp($tool_id) { $MV_SequenceTools = new MV_SequenceTools(); return $MV_SequenceTools->get_tool_html($tool_id); }