set undomenu_items {
GuidoMenuItem item1 {
-label "Enable undo"
-command server "UNDO ON"
}
GuidoMenuItem item2 {
-label "Disable undo"
-command server "UNDO OFF"
}
GuidoMenuItem undo_many {
-label "Undo many actions"
-command server "UNDO MANY"
}
GuidoMenuItem item3 {
-label "Empty undo actions list"
-command server "UNDO PURGE"
}
GuidoSeparator sep1 {
}
GuidoMenuItem item4 {
-label "Undo setup"
-command server "UNDO SETUP"
}
}
GuidoMenu undomenu {
-label "Undo properties"
-delayed_script $undomenu_items
}
