set blastmenu_items {
GuidoScript scripts/menus/blastdesign.tcl
GuidoScript scripts/menus/blast_db_database.tcl
GuidoScript scripts/menus/blast_db_edit.tcl
GuidoScript scripts/menus/blast_db_display.tcl
GuidoScript scripts/menus/blast_dbsections.tcl
GuidoScript scripts/menus/blastdelete.tcl
GuidoScript scripts/menus/blastmove.tcl
GuidoScript scripts/menus/blastcharge.tcl
GuidoScript scripts/menus/blastuncharge.tcl
GuidoScript scripts/menus/blast_firing_sequence.tcl
GuidoScript scripts/menus/blastreport.tcl
}
GuidoMenu blastmenu {
-label "Blast design"
-delayed_script $blastmenu_items
}
