set editmenu_items {
GuidoScript scripts/menus/editlayer.tcl
GuidoScript scripts/menus/editstring.tcl
GuidoScript scripts/menus/editsegment.tcl
GuidoScript scripts/menus/editpoint.tcl
GuidoSeparator sep1 {
}
GuidoMenuItem undo {
-label "Undo"
-icon "icons/16/undo.png"
-command server "UNDO"
}
GuidoMenuItem redo {
-label "Redo"
-icon "icons/16/redo.png"
-command server "REDO"
}
GuidoScript scripts/menus/undo.tcl
GuidoSeparator sep2 {
}
GuidoScript scripts/menus/copystringconstrained.tcl
GuidoScript scripts/menus/copysegmentconstrained.tcl
GuidoScript scripts/menus/movestringconstrained.tcl
GuidoScript scripts/menus/movesegmentconstrained.tcl
GuidoSeparator sep3 {
}
GuidoScript scripts/menus/trim.tcl
}
GuidoMenu editmenu {
-label "Edit"
-delayed_script $editmenu_items
}
