set modifymenu_items {
GuidoScript scripts/menus/editstring.tcl
GuidoScript scripts/menus/editsegment.tcl
GuidoScript scripts/menus/editpoint.tcl
}
GuidoMenu modifymenu {
-label "Edit"
-delayed_script $modifymenu_items
}
